<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>