What’s going on with the Erlang typing efforts ?
Last I heard, Whatsapp had an internal project which was subsequently shelved.
Are there any other ongoing projects other than the Elixir ones (Typecheck, Norm etc…) ?
4 Likes