Index of /gpn12-agda-talk

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[IMG]AgdaTalk-Slides.svg2012-06-07 23:44 533K 
[TXT]AgdaTalk.tex2012-06-07 23:43 5.1K 
[IMG]Bookcover.jpg2012-06-06 15:49 37K 
[   ]DivModUtils.agda2012-06-07 12:00 7.9K 
[   ]Pebbels.agda-template2012-06-07 11:34 806  
[   ]Pebbels1.lagda2012-06-07 11:34 4.1K 
[   ]Pebbels3.lagda2012-06-07 12:00 5.3K 
[   ]Pebbels5.lagda2012-06-07 23:43 5.6K 
[   ]Pebbels6.lagda2012-06-07 12:00 3.4K 
[DIR]_darcs/2012-06-07 23:54 -  
[IMG]jsb.jpg2012-06-06 15:49 58K 
[IMG]nicubunu_Game_marbles_-_simple_dots.svg2012-06-06 15:49 32K 
[TXT]startkeymon.sh2012-06-06 10:51 81  

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