Typed Tagless-Final Linear Lambda Calculus

As of March 2020, School of Haskell has been switched to read-only mode.

Advanced tutorial showing how to make a typed tagless-final interpreter for a full linear lambda calculus using higher-order abstract syntax.