News for hackers. Stuff that matters.
Re:Why Typing Erlang is Hard: Standard Erlang by mastermind1014 on Friday November 06, 2020 @01:17PM (#25009826)
Check out Caramel [1] as well -

[1] https://github.com/AbstractMachinesLab/caramel

Re:Why Typing Erlang is Hard: Standard Erlang by mikhailfranco on Sunday November 08, 2020 @08:13PM (#25030534)