caryoscelus/agda

Автор	SHA1 Опис	Дата
Nils Anders Danielsson	683294dfbe Updated test suite to avoid clashes with new reserved words (∀, λ and →).	16 роки тому
ulfn	f4fe820a6a summer school lecture changes	17 роки тому
ulfn	7b73f4f99c tidying up of summer school lecture	17 роки тому
ulfn	fcb18126a2 summer school lecture	17 роки тому