many updates
authorMart Lubbers <mart@martlubbers.net>
Wed, 12 Oct 2022 14:41:04 +0000 (16:41 +0200)
committerMart Lubbers <mart@martlubbers.net>
Wed, 12 Oct 2022 14:41:04 +0000 (16:41 +0200)
commit7160e9f70a126ed1bc41789ade0d91e41cc2db38
tree4c0bd30f0b2383a72efe259853d2bb811551ef61
parent1544c8074a9b894c6e78beb0911aff25a295352c
many updates
appx/clean_for_haskell_programmers.tex
dsl/class_deep_embedding.tex
dsl/dsl_techniques.tex
dsl/first-class_datatypes.tex
glossaries.tex
intro/introduction.tex
preamble.tex
top/mtask.tex
top/mtask_integration.tex
tvt/tvt.tex