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 година