darcs-mirror-kafuncprog-agda-talk.git
6 years agoChange document headers master
Joachim Breitner [Wed, 15 May 2013 16:11:47 +0000 (16:11 +0000)]
Change document headers

6 years agoMore fixing
Joachim Breitner [Wed, 15 May 2013 07:37:51 +0000 (07:37 +0000)]
More fixing

6 years agoWork around http://code.google.com/p/agda/issues/detail?id=846
Joachim Breitner [Tue, 14 May 2013 20:54:31 +0000 (20:54 +0000)]
Work around code.google.com/p/agda/issues/detail?id=846

6 years agoAdd english slides
Joachim Breitner [Mon, 13 May 2013 15:01:23 +0000 (15:01 +0000)]
Add english slides

6 years agoAdjust code to current agda version
Joachim Breitner [Mon, 13 May 2013 14:41:33 +0000 (14:41 +0000)]
Adjust code to current agda version

7 years agoSlide-SVG ohne bunte Rahmen Vortrag
Joachim Breitner [Thu, 7 Jun 2012 21:42:12 +0000 (21:42 +0000)]
Slide-SVG ohne bunte Rahmen

7 years agoHevea-Spielereien
Joachim Breitner [Thu, 7 Jun 2012 10:52:14 +0000 (10:52 +0000)]
Hevea-Spielereien

7 years agoSozi-Anpassungen
Joachim Breitner [Thu, 7 Jun 2012 10:26:44 +0000 (10:26 +0000)]
Sozi-Anpassungen

7 years agoMehr li-DivModUtils-Verweise
Joachim Breitner [Thu, 7 Jun 2012 10:19:22 +0000 (10:19 +0000)]
Mehr li-DivModUtils-Verweise

7 years agoSponsor-Statement
Joachim Breitner [Thu, 7 Jun 2012 10:19:14 +0000 (10:19 +0000)]
Sponsor-Statement

7 years agoAvoid <, use ≤
Joachim Breitner [Thu, 7 Jun 2012 10:00:18 +0000 (10:00 +0000)]
Avoid <, use ≤

7 years agoElaborate Howard-Curry
Joachim Breitner [Thu, 7 Jun 2012 09:33:08 +0000 (09:33 +0000)]
Elaborate Howard-Curry

7 years agoClean up import statements
Joachim Breitner [Thu, 7 Jun 2012 09:32:44 +0000 (09:32 +0000)]
Clean up import statements

7 years agoRemove some empty lins
Joachim Breitner [Thu, 7 Jun 2012 09:11:19 +0000 (09:11 +0000)]
Remove some empty lins

7 years agoAdd Howard-Curry-Isomorphism
Joachim Breitner [Thu, 7 Jun 2012 09:11:00 +0000 (09:11 +0000)]
Add Howard-Curry-Isomorphism

7 years agoDatum
Joachim Breitner [Wed, 6 Jun 2012 13:54:10 +0000 (13:54 +0000)]
Datum

7 years agoKleine Fixes am TExt
Joachim Breitner [Wed, 6 Jun 2012 13:48:48 +0000 (13:48 +0000)]
Kleine Fixes am TExt

7 years agoMehr Logos
Joachim Breitner [Wed, 6 Jun 2012 13:48:31 +0000 (13:48 +0000)]
Mehr Logos

7 years agoUpgrade sozi
Joachim Breitner [Wed, 6 Jun 2012 13:11:09 +0000 (13:11 +0000)]
Upgrade sozi

7 years agoAdd Sozi talk files
Joachim Breitner [Wed, 6 Jun 2012 12:41:06 +0000 (12:41 +0000)]
Add Sozi talk files

7 years agoAppendix about termination
Joachim Breitner [Wed, 6 Jun 2012 10:39:30 +0000 (10:39 +0000)]
Appendix about termination

7 years agoAmend template
Joachim Breitner [Wed, 6 Jun 2012 10:24:21 +0000 (10:24 +0000)]
Amend template

7 years agoMove picked further up
Joachim Breitner [Wed, 6 Jun 2012 10:24:10 +0000 (10:24 +0000)]
Move picked further up

7 years agoTypo
Joachim Breitner [Wed, 6 Jun 2012 09:15:53 +0000 (09:15 +0000)]
Typo

7 years agoHeavy shortening
Joachim Breitner [Wed, 6 Jun 2012 08:50:00 +0000 (08:50 +0000)]
Heavy shortening

7 years agokey-mon-settings
Joachim Breitner [Tue, 5 Jun 2012 09:49:49 +0000 (09:49 +0000)]
key-mon-settings

7 years agoTemplate file for the talk
Joachim Breitner [Tue, 5 Jun 2012 08:35:42 +0000 (08:35 +0000)]
Template file for the talk

7 years agoNicer lambda
Joachim Breitner [Tue, 5 Jun 2012 08:35:32 +0000 (08:35 +0000)]
Nicer lambda

7 years agoUse _ for n-k<m proof
Joachim Breitner [Mon, 4 Jun 2012 12:45:52 +0000 (12:45 +0000)]
Use _ for n-k<m proof

7 years agoAdded section 4 and 5
Joachim Breitner [Mon, 4 Jun 2012 10:42:41 +0000 (10:42 +0000)]
Added section 4 and 5

7 years agoUmfang soweit vollständig
Joachim Breitner [Mon, 4 Jun 2012 10:40:02 +0000 (10:40 +0000)]
Umfang soweit vollständig

7 years agoInitial check-in
Joachim Breitner [Sun, 3 Jun 2012 21:06:11 +0000 (21:06 +0000)]
Initial check-in