Slide-SVG ohne bunte Rahmen
-rw-r--r-- 545855 AgdaTalk-Slides.svg
-rw-r--r-- 5258 AgdaTalk.tex
-rw-r--r-- 38300 Bookcover.jpg
-rw-r--r-- 8055 DivModUtils.agda
-rw-r--r-- 806 Pebbels.agda-template
-rw-r--r-- 4176 Pebbels1.lagda
-rw-r--r-- 5379 Pebbels3.lagda
-rw-r--r-- 5771 Pebbels5.lagda
-rw-r--r-- 3481 Pebbels6.lagda
-rw-r--r-- 59490 jsb.jpg
-rw-r--r-- 33150 nicubunu_Game_marbles_-_simple_dots.svg
-rw-r--r-- 81 startkeymon.sh