News for hackers. Stuff that matters.

A comment on Announcing a pre-release of F# 3.1 and the Visual F# tools in Visual Studio 2013. Parent comment

Re:Announcing a pre-release of F# 3.1 and the Visual F# tool... by kvb on Thursday June 27, 2013 @11:04PM (#5955952)
Not that it's a popular language, but a type-provider-like feature was recently added to the dependently-typed language Idris (see https://github.com/edwinb/Idris-dev/commit/46964d7d57c18826d...).
[ Parent | on HN ]

There are no comments on this comment yet.