Agda and playing with stencils, I'm happy and like the hints of further exploration.
Subscribe to:
Post Comments (Atom)
Light leaking from behind a cloud
It has been a long time. We've moved house and there is so much to do and still to do, but I still want to keep the tentative outreach i...
No comments:
Post a Comment