2 commits

Author	SHA1	Message	Date
Leon Vatthauer	45d193f649	Update gitignore and make agda code compilable	2024-03-20 15:45:59 +01:00
Leon Vatthauer	98c38160ff	Add agda code from previous repo	2024-03-20 15:43:45 +01:00