News for hackers. Stuff that matters.
Re:Luna – Visual and textual functional programming language by thecity2 on Thursday June 22, 2017 @03:25PM (#14614642)
This sounds a bit like Idris with its dependent types.

There are no comments on this comment yet.