caryoscelus/agda

Autor	SHA1 Wiadomość	Data
ulfn	250f11bb76 renamed more things called \|	18 lat temu
ulfn	e8eb83662d renamed things called \| in some examples	18 lat temu
ulfn	46ea7c442c started on port of Few Digits library for exact real arithmetic	18 lat temu
ulfn	3988dde36e start at some kind of library	18 lat temu