caryoscelus/agda

Auteur	SHA1 Message	Date
Jesper Cockx	d04e62b03c [ prop ] Make Prop enabled by default	il y a 6 ans
Ulf Norell	fda20b721b [ fixed #2382 ] builtin NIL and CONS no longer needed	il y a 7 ans
Ulf Norell	b56b3965a6 [ backend ] updated compiler pragmas in test cases	il y a 7 ans
Philipp Hausmann	c47157ccff Merge branch 'maint-2.4.2'	il y a 9 ans
Philipp Hausmann	182b6d6a8f [ tests ] Move some compiler tests from Succeed to Compiler/simple.	il y a 9 ans