caryoscelus/agda

作者	SHA1 備註	提交日期
Andrés Sicard-Ramírez	514d9fc643 [ fixed #1887, examples test-suite ] Fixed lib/Test.agda test.	9 年之前
Nils Anders Danielsson	689c6aaa09 Moved away or fixed many broken example files.	17 年之前
ulfn	196e0ce6c0 library cleanup	18 年之前
ulfn	671702ec53 more work on the library	18 年之前