caryoscelus/agda

Yazar	SHA1 Mesaj	Tarih
andreas.abel	7d12e7bfe8 removed bug in termination checker causing call to be collected up to four times	16 yıl önce
ulfn	f579af2a84 removed termination examples with constructor names not mattering	16 yıl önce
andreas.abel	2537421840 more-termination-examples	16 yıl önce