search

josefs / Gradualizer

A Gradual type system for Erlang
MIT License
612 stars 35 forks source link

Refine bound vars with guards #523

Open erszcz opened 1 year ago

erszcz commented 1 year ago

See #520