caryoscelus/agda

Autor	SHA1 Mensaxe	Data
Nils Anders Danielsson	c92b799692 Files given on the command line must now be on the include path.	%!s(int64=15) %!d(string=hai) anos
ulfn	932d196be4 Module name file name correspondence is now enforce also for the main module	%!s(int64=16) %!d(string=hai) anos
ulfn	85fda05aec minor fix in syntax example	%!s(int64=19) %!d(string=hai) anos
ulfn	62803d6dd0 literate example file modifications	%!s(int64=19) %!d(string=hai) anos
ulfn	379e8124ce literate agda example	%!s(int64=19) %!d(string=hai) anos