Commit Graph

Select branches

Hide Pull Requests

claude-renaming

main

#1

Mono Color

• f5b0c2b7c3 implementing 𝟙-induction Felix Dilke 2026-01-12 18:01:36 +00:00
• f809bde68d additional files Felix Dilke 2026-01-12 15:22:32 +00:00
• 2232600ed1 initial agda code with Owen's pseudocode from the Geolog lectures, and some universe library code from Escardo's book Felix Dilke 2026-01-12 15:21:49 +00:00
• 09ddf9556e updated README Felix Dilke 2026-01-12 10:51:05 +00:00
• bf59a7a4e1 Initial commit Felix Dilke 2026-01-12 10:47:18 +00:00