2 Commits

Author	SHA1	Message	Date
Felix Dilke	2232600ed1	initial agda code with Owen's pseudocode from the Geolog lectures, and some universe library code from Escardo's book	2026-01-12 15:21:49 +00:00
Felix Dilke	bf59a7a4e1	Initial commit	2026-01-12 10:47:18 +00:00