Andrés Sicard-Ramírez 65a3ba26d3 [ lib-succeed ] Added tests related to termination and sized types. 8 gadi atpakaļ
..
Common a2048ec740 [ examples ] Added some untested examples. 8 gadi atpakaļ
Example.agda a2048ec740 [ examples ] Added some untested examples. 8 gadi atpakaļ
List.agda a2048ec740 [ examples ] Added some untested examples. 8 gadi atpakaļ
README a2048ec740 [ examples ] Added some untested examples. 8 gadi atpakaļ
Stream.agda a2048ec740 [ examples ] Added some untested examples. 8 gadi atpakaļ
StreamProc.agda a2048ec740 [ examples ] Added some untested examples. 8 gadi atpakaļ
Where.agda a2048ec740 [ examples ] Added some untested examples. 8 gadi atpakaļ
comb.agda a2048ec740 [ examples ] Added some untested examples. 8 gadi atpakaļ

README

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