caryoscelus/agda

Autor	SHA1 Mensaxe	Data
Nils Anders Danielsson	95d4470c4c [ Issue 1109, Issue 1436 ] New default precedence level: unrelated.	%!s(int64=10) %!d(string=hai) anos
ulfn	b5dc9b4961 minor changes to the simple lib	%!s(int64=17) %!d(string=hai) anos
ulfn	700b2c6cbf added simple-lib to the test suite and made some changes	%!s(int64=17) %!d(string=hai) anos
ulfn	78e4641897 added more stuff to simple-lib	%!s(int64=17) %!d(string=hai) anos
ulfn	299459d2b6 start on a very simple library	%!s(int64=17) %!d(string=hai) anos