caryoscelus/agda

Upphovsman	SHA1 Meddelande	Datum
ulfn	250f11bb76 renamed more things called \|	18 år sedan
ulfn	e8eb83662d renamed things called \| in some examples	18 år sedan
ulfn	46ea7c442c started on port of Few Digits library for exact real arithmetic	18 år sedan
ulfn	3988dde36e start at some kind of library	18 år sedan