descriptionMirror of http://darcs.nomeata.de/gpn12-agda-talk
ownernomeata
last changeThu, 7 Jun 2012 21:42:12 +0000 (21:42 +0000)
shortlog
2012-06-07 Joachim BreitnerSlide-SVG ohne bunte Rahmen master 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
2012-06-06 Joachim BreitnerKleine Fixes am TExt
2012-06-06 Joachim BreitnerMehr Logos
2012-06-06 Joachim BreitnerUpgrade sozi
2012-06-06 Joachim BreitnerAdd Sozi talk files
2012-06-06 Joachim BreitnerAppendix about termination
...
tags
2 years ago Vortrag Vortrag
heads
2 years ago master