caryoscelus/agda

作者	SHA1 備註	提交日期
Ulf Norell	b56b3965a6 [ backend ] updated compiler pragmas in test cases	8 年之前
Ulf Norell	7997e8e46c [ builtins ] Char, String and Float now get COMPILED_TYPE for free	9 年之前
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 年之前
ulfn	78e4641897 added more stuff to simple-lib	18 年之前