caryoscelus/agda

Автор	SHA1 Съобщение	Дата
Robert Estelle	6591c94fca make: Set SHELL from mk/common.mk and run with safe flags	преди 4 години
Andrés Sicard-Ramírez	c98e6d0d7c Merge agda-maint	преди 9 години
Andrés Sicard-Ramírez	53e8c223df [ fixed #1753 ] Added Cabal test for the successfull tests using the standard library.	преди 9 години
Andrés Sicard-Ramírez	06ab82bbb7 [ #1753 ] Renamed lib-succeed to LibSucceed.	преди 9 години