Commit Graph

124 Commits

Author SHA1 Message Date
Julian Ospald f335b3a522
Hide subsubsections in initial TOC 2015-04-23 23:04:07 +02:00
Julian Ospald 1975e27e5c
Improve subsection titles 2015-04-23 22:06:23 +02:00
Julian Ospald 3cfdec16ed
Use footnotes for urls 2015-04-23 22:02:44 +02:00
Julian Ospald c504fba841
VL2: translate into german 2015-04-23 21:34:47 +02:00
Julian Ospald 913900a9e8
VL1: Übersetzung ins Deutsche 2015-04-23 02:06:32 +02:00
Julian Ospald 91330daea8
Rm reference to polymorphic data types 2015-04-21 18:35:29 +02:00
Julian Ospald 5acabb296f
Fix 'clean' target 2015-04-21 18:05:23 +02:00
Julian Ospald 198ccedcf5
Improve wording 2015-04-21 18:05:07 +02:00
Julian Ospald ab7c101b4b
Rm obsolete reference to ADTs 2015-04-21 14:42:05 +02:00
Julian Ospald 4f67c48b6f
Fix polymorphism since the ADT section of VL1 is gone 2015-04-21 14:28:01 +02:00
Julian Ospald d9750e6b34
Rm obsolete slides 2015-04-21 14:27:26 +02:00
Julian Ospald 5b4be12e0b
Add case...of code 2015-04-21 14:14:24 +02:00
Julian Ospald 9dc7adaaf3
Add missing toc slide 2015-04-21 14:14:12 +02:00
Julian Ospald 1838c3276f
Fix \slide command to include subsubsection numbering 2015-04-21 14:13:56 +02:00
Julian Ospald 02a33a44fe
Improve "how to think haskell" 2015-04-21 14:07:57 +02:00
Julian Ospald 361af10451
Add case...of slide, rename slides 2015-04-21 14:07:42 +02:00
Julian Ospald e315e78b39
Adjust questions, because we omitted the ADT section 2015-04-21 13:46:31 +02:00
Julian Ospald efc0f586ed
Rm ADT section as discussed with Prof Gips 2015-04-21 13:46:08 +02:00
Julian Ospald 78fe5fc9e9
Add missing dependency 2015-04-21 13:22:17 +02:00
Julian Ospald 1fb29a14dc
Add dependencies to README 2015-04-21 13:21:15 +02:00
Julian Ospald 85b07ff8ff
Fix TOC generation
We really have to build it 3 times, so put it into PHONY.
2015-04-21 02:19:46 +02:00
Julian Ospald a3e083bc32
Force symlink overwrite 2015-04-21 01:36:30 +02:00
Julian Ospald 89ab01a53a
Rm extraneous empty line 2015-04-21 00:47:23 +02:00
Julian Ospald 3e5590bd72
Add pitfalls section, improve difficulties section 2015-04-21 00:45:22 +02:00
Julian Ospald 002ba1d830
Add more questions 2015-04-21 00:24:45 +02:00
Julian Ospald 717c1b370f
Add negative example 2015-04-21 00:24:24 +02:00
Julian Ospald 44c4c9e601
Add README 2015-04-20 21:46:34 +02:00
Julian Ospald b94abec4fd
Also symlink the handouts 2015-04-20 21:46:11 +02:00
Julian Ospald 3b17de0a81
Rm log file 2015-04-20 21:41:34 +02:00
Julian Ospald 84cb32b99c
Add Makefiles 2015-04-20 21:41:05 +02:00
Julian Ospald 06f6c99867
Rm log file 2015-04-20 21:37:53 +02:00
Julian Ospald 4ec4ac3ee4
Rm extraneous empty lines 2015-04-20 21:01:18 +02:00
Julian Ospald 7bbc00c119
Rm ugly borders around links/urls 2015-04-20 21:01:03 +02:00
Julian Ospald 22f0fd9447
Improve configuration modularity, use minted for inline code 2015-04-20 20:55:41 +02:00
Julian Ospald 9d9ddfaf2d
Rm log file 2015-04-20 20:16:40 +02:00
Julian Ospald 6438c6fb02
Code background grey, use special code-block for GHCi 2015-04-20 20:15:46 +02:00
Julian Ospald e04217c4c0
Format comment nicer 2015-04-20 20:14:07 +02:00
Julian Ospald cacdd5c41a
Add .gitignore 2015-04-20 20:13:30 +02:00
Julian Ospald b43b9e2456
Move section to next slide 2015-04-20 20:12:09 +02:00
Julian Ospald 4559b2f1d9
Emphasize function composition 2015-04-20 18:52:12 +02:00
Julian Ospald 78630c38e9
Revert handout mode 2015-04-20 18:09:05 +02:00
Julian Ospald 807a0efbd2
Rm obsolete "(cnt.)" blocks 2015-04-20 18:07:56 +02:00
Julian Ospald e9374aed1f
VL2: Restructure files, make the latex code more modular
Also added a few more section to make beamer and article more
compatible.
2015-04-20 18:06:58 +02:00
Julian Ospald 5b8cc0de65
Abstract out article configuration 2015-04-20 18:05:34 +02:00
Julian Ospald 214c2052de
Rm handout config for beamer 2015-04-20 17:44:19 +02:00
Julian Ospald fe052fa04e
Move title page info to main document 2015-04-20 17:42:07 +02:00
Julian Ospald f36590c9f4
Restructure files, make the latex code more modular
Also added a few more section to make beamer and article more
compatible.
2015-04-20 17:38:58 +02:00
Julian Ospald c9ec697df4
Fix spelling 2015-04-20 15:15:12 +02:00
Julian Ospald 3eae407f56
Improve wording 2015-04-20 15:08:38 +02:00
Julian Ospald f789b46833
Fix a few pauses 2015-04-20 15:08:25 +02:00