klntsky/haskell-holes-th

TIP solver for simply typed lambda calculus. Can automatically infer code from type definitions. (TemplateHaskell)

语言：Haskell · GitHub 星标：7 · Fork：0

在 GitHub 上查看原仓库