profbrandon/linear-type-theory
My first attempt (back in the summer of 2019) at understanding linear type theory. This interpreter was never quite finished, but maybe I'll get to it one day.
Haskell
My first attempt (back in the summer of 2019) at understanding linear type theory. This interpreter was never quite finished, but maybe I'll get to it one day.
Haskell