News for hackers. Stuff that matters.

A comment on Why Typing Erlang is Hard: Standard Erlang. Parent comment

Re:Why Typing Erlang is Hard: Standard Erlang by flubert on Friday November 06, 2020 @06:11PM (#25012005)
Maybe also add Idris?

https://github.com/chrrasmussen/Idris2-Erlang

[ Parent | on HN ]

There are no comments on this comment yet.