caryoscelus/agda

Auteur	SHA1 Message	Date
Robert Estelle	6591c94fca make: Set SHELL from mk/common.mk and run with safe flags	il y a 4 ans
Andrés Sicard-Ramírez	c98e6d0d7c Merge agda-maint	il y a 9 ans
Andrés Sicard-Ramírez	53e8c223df [ fixed #1753 ] Added Cabal test for the successfull tests using the standard library.	il y a 9 ans
Andrés Sicard-Ramírez	06ab82bbb7 [ #1753 ] Renamed lib-succeed to LibSucceed.	il y a 9 ans