caryoscelus/agda

Autor	SHA1 Zpráva	Datum
andreas.abel	7d12e7bfe8 removed bug in termination checker causing call to be collected up to four times	před 16 roky
ulfn	f579af2a84 removed termination examples with constructor names not mattering	před 16 roky
andreas.abel	2537421840 more-termination-examples	před 16 roky