[Swift-devel] Idris Language

[Ketan Maheshwari]

Main page is: http://www.idris-lang.org


On Sun, Apr 13, 2014 at 5:23 PM, Ketan Maheshwari <ketan at mcs.anl.gov> wrote:

> Might be interesting wrt tryswift:
>
> http://www.tryidris.org/console
>
> From the page:
>
> "Idris is a language for practical, dependently typed, functional
> programming."
>
> Thanks,
> Ketan
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/swift-devel/attachments/20140413/8be81b0c/attachment.html>