# haskell-holes-th

[TIP](https://en.wikipedia.org/wiki/Type_inhabitation_problem) solver for [simply typed lambda calculus](https://en.wikipedia.org/wiki/Simply_typed_lambda_calculus) to automatically infer the code from type definitions using [TemplateHaskell](https://wiki.haskell.org/Template_Haskell).

# Usage

See [Test.hs](Test.hs) for example usage.