Index of /kafuncprog-agda-talk

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[IMG]AgdaTalk-Slides-Englisch.svg2013-05-14 22:57 592K 
[IMG]AgdaTalk-Slides.svg2013-05-14 22:57 533K 
[TXT]AgdaTalk.tex2013-05-15 18:11 5.1K 
[IMG]Bookcover.jpg2013-05-14 22:56 37K 
[   ]DivModUtils.agda2013-05-14 22:57 7.6K 
[   ]Pebbels.agda-template2013-05-14 22:57 824  
[   ]Pebbels1.lagda2013-05-14 22:57 4.2K 
[   ]Pebbels3.lagda2013-05-14 22:57 5.3K 
[   ]Pebbels5.lagda2013-05-15 09:38 5.7K 
[   ]Pebbels6.lagda2013-05-14 22:57 3.4K 
[DIR]_darcs/2013-05-15 18:11 -  
[IMG]jsb.jpg2013-05-14 22:56 58K 
[IMG]nicubunu_Game_marbles_-_simple_dots.svg2013-05-14 22:56 32K 
[   ]scrartcl.hva2013-05-14 22:57 20  
[TXT]startkeymon.sh2013-05-14 22:56 81  

Apache/2.4.25 (Debian) Server at darcs.nomeata.de Port 80