caryoscelus/agda

Автор	SHA1 Опис	Дата
Ulf Norell	b56b3965a6 [ backend ] updated compiler pragmas in test cases	8 роки тому
Nicolas Pouillard	a425804612 Refactoring of the Builtin support	14 роки тому
Nils Anders Danielsson	b882298c04 Restricted IMPORT pragmas.	15 роки тому
ulfn	286c181085 updated simple-lib to the new COMPILED_DATA pragma	17 роки тому
ulfn	5d69dcb1f4 added some stuff to simple-lib	17 роки тому
ulfn	14b85602dc messing around with the simple-lib	17 роки тому