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
Träd: 9c190b6ebc
Grenar Taggar
agda
/
examples
/
outdated-and-incorrect
/
Termination
Andrés Sicard-Ramírez 65a3ba26d3 [ lib-succeed ] Added tests related to termination and sized types. 8 år sedan
..
Common a2048ec740 [ examples ] Added some untested examples. 8 år sedan
Example.agda a2048ec740 [ examples ] Added some untested examples. 8 år sedan
List.agda a2048ec740 [ examples ] Added some untested examples. 8 år sedan
README a2048ec740 [ examples ] Added some untested examples. 8 år sedan
Stream.agda a2048ec740 [ examples ] Added some untested examples. 8 år sedan
StreamProc.agda a2048ec740 [ examples ] Added some untested examples. 8 år sedan
Where.agda a2048ec740 [ examples ] Added some untested examples. 8 år sedan
comb.agda a2048ec740 [ examples ] Added some untested examples. 8 år sedan

README

TODO: Hook up the files in this directory to the test suite.