caryoscelus/agda

Auteur	SHA1 Message	Date
Nils Anders Danielsson	c92b799692 Files given on the command line must now be on the include path.	il y a 15 ans
ulfn	932d196be4 Module name file name correspondence is now enforce also for the main module	il y a 16 ans
ulfn	85fda05aec minor fix in syntax example	il y a 19 ans
ulfn	62803d6dd0 literate example file modifications	il y a 19 ans
ulfn	379e8124ce literate agda example	il y a 19 ans