caryoscelus/agda

Autors	SHA1 Ziņojums	Datums
andreas.abel	7d12e7bfe8 removed bug in termination checker causing call to be collected up to four times	16 gadi atpakaļ
ulfn	f579af2a84 removed termination examples with constructor names not mattering	16 gadi atpakaļ
andreas.abel	2537421840 more-termination-examples	16 gadi atpakaļ