GitHub repository: sancho20021/lambda-typecheker
Primary language: Haskell
Created: 2022-02-01T16:10:08Z
Description: Simply-typed lambda expressions typecheker in Haskell