Fix: Code
modelling heuristics
Merge pull request #32 from localheinz/bugfix/markdown

Fix: Code
Merge pull request #33 from mathiasverraes/modelling-heuristics

modelling heuristics
agenda
agenda
Merge branch 'master' into higherorder