Startsida Utforska Hjälp
Logga in
caryoscelus
/
agda
Bevaka 1
Stjärnmärk 0
Fork 0
Filer Ärenden 0 Pull-förfrågningar 0 Wiki
Gren: js_amd
Grenar Taggar

Commit History

Upphovsman SHA1 Meddelande Datum
  andreas.abel 7d12e7bfe8 removed bug in termination checker causing call to be collected up to four times 16 år sedan
  ulfn f579af2a84 removed termination examples with constructor names not mattering 16 år sedan
  andreas.abel 2537421840 more-termination-examples 16 år sedan