Index of /kats-workshop

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]Part1-exercises.pdf2016-05-21 10:07 42K 
[   ]Part2-exercises.pdf2016-05-21 10:07 60K 
[   ]Part3-exercises.pdf2016-05-21 10:07 51K 
[   ]idris-tdd.pdf2016-05-21 10:07 2.4M 
[   ]kats-code.tgz2016-05-21 10:08 15K 

Apache/2.4.38 (Debian) Server at www.idris-lang.org Port 443