many updates
authorMart Lubbers <mart@martlubbers.net>
Mon, 14 Nov 2022 11:33:49 +0000 (12:33 +0100)
committerMart Lubbers <mart@martlubbers.net>
Mon, 14 Nov 2022 11:33:49 +0000 (12:33 +0100)
commit8142f08ef9966c7c53e82a6097de56de260fdb06
tree550d1f4d1309c919825a1e79c074bfb6696959c9
parent0e65bdb41aba272dc3a58ba525acd8d5bda35e84
many updates
appx/clean_for_haskell_programmers.tex
intro/intro.tex
intro/iot-layers.tex
other.bib
preamble.tex
top/mtask_integration.tex
top/top.tex
tvt/tvt.tex