News for hackers. Stuff that matters.

A comment on Source code for Lua 5.3. Parent comment

Re:Source code for Lua 5.3 by llull on Wednesday April 06, 2016 @11:38AM (#11439473)
Idris. Really interesting language exploring dependent types for practical programming, but not yet production ready.
[ Parent | on HN ]

There are no comments on this comment yet.