cleaning house in the todo file a bit; removing things that ive proven or now believe to be false, adding more recent scraps
cleaning house in the todo file a bit; removing things that ive proven or now believe to be false, adding more recent scraps

hazelgrove/hazelnut-dynamics-agda