@hackage haskell-holes-th2.0.0.0

Infer haskell code by given type.

Categories
License
MIT
Maintainer
klntsky@gmail.com
Links
Versions
- 2.0.0.0 Sat, 24 Aug 2019
- 1.0.0.0 Sun, 10 Dec 2017
- 0.0.0.1 Fri, 8 Dec 2017

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