darcs-mirror-kafuncprog-agda-talk.git
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
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
2012-06-06 Joachim BreitnerAmend template
2012-06-06 Joachim BreitnerMove picked further up
2012-06-06 Joachim BreitnerTypo
2012-06-06 Joachim BreitnerHeavy shortening
2012-06-05 Joachim Breitnerkey-mon-settings
2012-06-05 Joachim BreitnerTemplate file for the talk
2012-06-05 Joachim BreitnerNicer lambda
2012-06-04 Joachim BreitnerUse _ for n-k<m proof
2012-06-04 Joachim BreitnerAdded section 4 and 5
2012-06-04 Joachim BreitnerUmfang soweit vollständig
2012-06-03 Joachim BreitnerInitial check-in