GitHub repository: omedusyo/type-inference
Primary language: Elm
Created: 2021-09-06T16:04:37Z
Description: Implementation of Typed Lambda Calculus (Product, Sum, Arrow, Nat, Bool types) together with type inference