Gradualizer

A Gradual type system for Erlang

MIT License

Stars
612