<div dir="ltr">Main page is: <a href="http://www.idris-lang.org">http://www.idris-lang.org</a></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, Apr 13, 2014 at 5:23 PM, Ketan Maheshwari <span dir="ltr"><<a href="mailto:ketan@mcs.anl.gov" target="_blank">ketan@mcs.anl.gov</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Might be interesting wrt tryswift:<div><br></div><div><a href="http://www.tryidris.org/console" target="_blank">http://www.tryidris.org/console</a><br>
</div><div><br></div><div>From the page:</div><div><br></div>
<div>"Idris is a language for practical, dependently typed, functional programming."</div>
<div><br></div><div>Thanks,</div><div>Ketan</div><div><br></div></div>
</blockquote></div><br></div>