Index of /gpn12-agda-talk

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[IMG]AgdaTalk-Slides.svg07-Jun-2012 23:44 533K 
[TXT]AgdaTalk.tex07-Jun-2012 23:43 5.1K 
[IMG]Bookcover.jpg06-Jun-2012 15:49 37K 
[   ]DivModUtils.agda07-Jun-2012 12:00 7.9K 
[   ]Pebbels.agda-template07-Jun-2012 11:34 806  
[   ]Pebbels1.lagda07-Jun-2012 11:34 4.1K 
[   ]Pebbels3.lagda07-Jun-2012 12:00 5.3K 
[   ]Pebbels5.lagda07-Jun-2012 23:43 5.6K 
[   ]Pebbels6.lagda07-Jun-2012 12:00 3.4K 
[DIR]_darcs/07-Jun-2012 23:54 -  
[IMG]jsb.jpg06-Jun-2012 15:49 58K 
[IMG]nicubunu_Game_marbles_-_simple_dots.svg06-Jun-2012 15:49 32K 
[TXT]startkeymon.sh06-Jun-2012 10:51 81  

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