haskell-holes-th (hackage): TIP solver for simply typed lambda calculus. Can automatically infer code from type definitions. (TemplateHaskell)
Keywords: language|library|mit