caryoscelus/agda

نویسنده	SHA1 پیام	تاریخ
Nils Anders Danielsson	c92b799692 Files given on the command line must now be on the include path.	15 سال پیش
ulfn	932d196be4 Module name file name correspondence is now enforce also for the main module	16 سال پیش
ulfn	85fda05aec minor fix in syntax example	19 سال پیش
ulfn	62803d6dd0 literate example file modifications	19 سال پیش
ulfn	379e8124ce literate agda example	19 سال پیش