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