Skip to content
Semantic Dreams
Menu
Home
Monthly Archives:
December 2014
Note: writing in Agda is
very slow
.
— Ashley Yakeley