Another Lennart, last name Spitzner, creates another genie that turns type signatures into programs. Unlike Djinn, Exference http://haskell.1045720.n5.nabble.com/ANN-exference-a-different-djinn-td58079... makes no promises over termination. "Your wish is my command even at the expense of closure."
Like Agda? You can now enjoy the hole-driven development style in Haskell, brought to you courtesy of Mote by Izaak Meckler https://github.com/imeckler/mote. Discussion here https://www.reddit.com/r/haskell/comments/33v4nm/ann_mote_a_tool_bringing_ho... . http://tomassetti.me/an-erd-web-server-generation-entity-diagrams-from-a-tex...
Relevant addendum: - Ever use 'undefined' when writing definition stubs? Ever wished you had a type-level 'undefined' too? Thomas Winant explains advanced stubbing https://www.fpcomplete.com/user/thomasw/new-in-ghc-7-10-partial-type-signatu... using GHC 7.10's new PartialTypeSignatures extension. Three years later, Dan Burton's wish http://stackoverflow.com/questions/9036554/undefined-at-the-type-level is granted. Thanks to Dominique Devriese for prompting inclusion. And speaking of granting wishes, stub-driven development in your favorite editor jetpacked with type-to-term genies is tantalizingly http://haskell.1045720.n5.nabble.com/ANN-exference-a-different-djinn-td58079... within grasp. Visual Studio https://news.ycombinator.com/item?id=9459364, eat your heart out. -- Kim-Ee