Post

i was just thinking of diy sorts of things, but slidev looks cool. a long time ago i taught a class on type theory and semantics using Haskell. lecture had slides alternated with demos of Haskell code. my dream was to integrate it but wasn't possible then (but it is now!)