News for hackers. Stuff that matters.

A comment on The Lx Programming Language. Parent comment

Re:The Lx Programming Language by wwright on Friday November 01, 2019 @06:48AM (#21417555)
You should check out Idris: https://www.idris-lang.org/
[ Parent | on HN ]

There are no comments on this comment yet.