Leon Vatthauer 45d193f649 Update gitignore and make agda code compilable		2024-03-20 15:45:59 +01:00
..
Agda.css	Add agda code from previous repo	2024-03-20 15:43:45 +01:00
algebra.lagda.md	Update gitignore and make agda code compilable	2024-03-20 15:45:59 +01:00
equality.agda	Add agda code from previous repo	2024-03-20 15:43:45 +01:00
Makefile	Add agda code from previous repo	2024-03-20 15:43:45 +01:00