flubert on Why Typing Erlang is Hard: Standard Erlang · Hackerly

Comment on Why Typing Erlang is Hard: Standard Erlang parent

Maybe also add Idris?

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