josefs / Gradualizer

A Gradual type system for Erlang

Refine bound vars with guards

erszcz opened this issue a year ago · comments

Radek Szymczyszyn commented a year ago

See #520