Fix all remaining self-check errors

josefs / Gradualizer

A Gradual type system for Erlang

MIT License

613 stars 35 forks source link

Closed erszcz closed 1 year ago

erszcz commented 1 year ago

Down to 37 lines so far 🎉

erszcz commented 1 year ago

15 lines, but we get a failure in property based tests :|

erszcz commented 1 year ago

Gradualizer can now self-check with no warnings emitted! 🎉

zuiderkwast commented 1 year ago

Nice!