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 лет назад