haskell-testing-lecture

To be used for the lecture about testing in Haskell

logical-relations

Using logical relations to prove strong normalization and semantic type safety for STLC

template-haskell-lecture

To be used for the lecture about metaprogramming in Haskell