caryoscelus/agda

Auteur	SHA1 Message	Date
andreas.abel	7d12e7bfe8 removed bug in termination checker causing call to be collected up to four times	il y a 16 ans
ulfn	f579af2a84 removed termination examples with constructor names not mattering	il y a 16 ans
andreas.abel	2537421840 more-termination-examples	il y a 16 ans