/type-theory

Implementation of concepts discussed in the book "Types and Programming Languages"

Primary LanguageHaskell

type-theory

Implementation of concepts discussed in the book "Types and Programming Languages"