descriptionMirror of http://darcs.nomeata.de/kafuncprog-agda-talk
ownernomeata
last changeWed, 15 May 2013 16:11:47 +0000 (16:11 +0000)
shortlog
2013-05-15 Joachim BreitnerChange document headers master
2013-05-15 Joachim BreitnerMore fixing
2013-05-14 Joachim BreitnerWork around code.google.com/p/agda/issues/detail?id=846
2013-05-13 Joachim BreitnerAdd english slides
2013-05-13 Joachim BreitnerAdjust code to current agda version
2012-06-07 Joachim BreitnerSlide-SVG ohne bunte Rahmen Vortrag
2012-06-07 Joachim BreitnerHevea-Spielereien
2012-06-07 Joachim BreitnerSozi-Anpassungen
2012-06-07 Joachim BreitnerMehr li-DivModUtils-Verweise
2012-06-07 Joachim BreitnerSponsor-Statement
2012-06-07 Joachim BreitnerAvoid <, use ≤
2012-06-07 Joachim BreitnerElaborate Howard-Curry
2012-06-07 Joachim BreitnerClean up import statements
2012-06-07 Joachim BreitnerRemove some empty lins
2012-06-07 Joachim BreitnerAdd Howard-Curry-Isomorphism
2012-06-06 Joachim BreitnerDatum
...
tags
7 years ago Vortrag Vortrag
heads
6 years ago master