caryoscelus/agda: My dev branches of agda (i.e. mostly a mirror) @ 9c190b6ebc223c54da4defa075c673faae7fab56

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

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