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 年之前