Julian Ospald
|
7ea86009d9
|
Move call-by-need question zo laziness
|
2015-04-29 22:14:13 +02:00 |
|
Julian Ospald
|
4f138f5995
|
Add questions for pairs
|
2015-04-29 22:14:07 +02:00 |
|
Julian Ospald
|
3f9c4bed57
|
Add pause
|
2015-04-29 22:14:01 +02:00 |
|
Julian Ospald
|
8a695659ae
|
Add more arithmetic examples
|
2015-04-29 22:13:55 +02:00 |
|
Julian Ospald
|
4c0c549d85
|
Add question
|
2015-04-28 12:58:07 +02:00 |
|
Julian Ospald
|
eaf2a52956
|
Improve pitfalls slide
Let's be honest, laziness can be a pitfall.
|
2015-04-27 15:26:39 +02:00 |
|
Julian Ospald
|
fc718cdfd0
|
Fix spelling
|
2015-04-27 15:26:33 +02:00 |
|
Julian Ospald
|
b09e11aef9
|
Improve polymorphism slides
# Conflicts:
# VL2/content/VL2_polymorphism2.tex
|
2015-04-26 13:42:55 +02:00 |
|
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 |
|