<?xml version="1.0" encoding="UTF-8"?><feed xmlns="http://www.w3.org/2005/Atom"><title xmlns:ns="http://www.w3.org/2005/Atom" ns:type="text">New developments – Haskell – Aelve Guide</title><id>https://guide.aelve.com/haskell/feed/category/zm9vy6c6</id><updated>2016-10-15T22:07:09Z</updated><link xmlns:ns="http://www.w3.org/2005/Atom" ns:href="https://guide.aelve.com/haskell/feed/category/zm9vy6c6"/><entry><id>lfx3b8g3</id><title xmlns:ns="http://www.w3.org/2005/Atom" ns:type="text">foundation</title><updated>2016-10-15T22:07:09Z</updated><content xmlns:ns="http://www.w3.org/2005/Atom" ns:type="html">&lt;h1&gt;  &lt;a href=&#34;https://github.com/haskell-foundation/foundation&#34; class=&#34;item-name&#34;&gt;foundation&lt;/a&gt;

  
  (&lt;a href=&#34;https://hackage.haskell.org/package/foundation&#34;&gt;Hackage&lt;/a&gt;)
&lt;/h1&gt;</content><link xmlns:ns="http://www.w3.org/2005/Atom" ns:href="https://guide.aelve.com/haskell/new-developments-zm9vy6c6#item-lfx3b8g3"/></entry><entry><id>wyoc1evt</id><title xmlns:ns="http://www.w3.org/2005/Atom" ns:type="text">Liquid Haskell</title><updated>2016-10-15T22:04:25Z</updated><content xmlns:ns="http://www.w3.org/2005/Atom" ns:type="html">&lt;h1&gt;  &lt;a href=&#34;https://hackage.haskell.org/package/liquidhaskell&#34; class=&#34;item-name&#34;&gt;Liquid Haskell&lt;/a&gt;

  
  (&lt;a href=&#34;https://hackage.haskell.org/package/liquidhaskell&#34;&gt;Hackage&lt;/a&gt;)
&lt;/h1&gt;&lt;p&gt;Dependent typing for the average Haskell program!
Prove that your program will do exactly what you want it to! Avoid off-by-one errors ans much more.
For a more detailed introduction, visit the &lt;a href=&#34;https://ucsd-progsys.github.io/liquidhaskell-blog/&#34;&gt;Homepage&lt;/a&gt;.
For a tutorial, visit their &lt;a href=&#34;https://ucsd-progsys.github.io/liquidhaskell-tutorial/&#34;&gt;Manual&lt;/a&gt;.&lt;/p&gt;
</content><link xmlns:ns="http://www.w3.org/2005/Atom" ns:href="https://guide.aelve.com/haskell/new-developments-zm9vy6c6#item-wyoc1evt"/></entry><entry><id>gr27gm6w</id><title xmlns:ns="http://www.w3.org/2005/Atom" ns:type="text">HyperHaskell</title><updated>2016-10-15T22:04:06Z</updated><content xmlns:ns="http://www.w3.org/2005/Atom" ns:type="html">&lt;h1&gt;  &lt;a href=&#34;https://github.com/HeinrichApfelmus/hyper-haskell&#34; class=&#34;item-name&#34;&gt;HyperHaskell&lt;/a&gt;

&lt;/h1&gt;&lt;blockquote&gt;
&lt;p&gt;HyperHaskell is a graphical interpreter for the programming language Haskell. You use worksheets to enter expressions and evaluate them. Results are displayed using HTML.&lt;/p&gt;
&lt;p&gt;HyperHaskell uses the GHC API to interpret Haskell programs. The graphical front-end is built on the cross-platform Electron framework.&lt;/p&gt;
&lt;/blockquote&gt;
&lt;p&gt;A new graphical Haskell interpreter, looks similar to IHaskell.&lt;/p&gt;
</content><link xmlns:ns="http://www.w3.org/2005/Atom" ns:href="https://guide.aelve.com/haskell/new-developments-zm9vy6c6#item-gr27gm6w"/></entry></feed>