caryoscelus/agda

نویسنده	SHA1 پیام	تاریخ
Nils Anders Danielsson	310d8c455c Fixed a bug: OPTIONS pragmas stayed in effect for imported modules.	15 سال پیش
ulfn	5968d8f8e8 minor fixes to examples	18 سال پیش
ulfn	46ea7c442c started on port of Few Digits library for exact real arithmetic	18 سال پیش