GitHub repository: robrix/path
Primary language: Haskell
Created: 2018-12-01T18:06:49Z
Description: A lambda calculus to explore type-directed program synthesis.