search

erg-lang / erg

A statically typed language compatible with Python
http://erg-lang.org
Apache License 2.0
2.7k stars 55 forks source link

Enhance dependent types & refinement types #481

Closed mtshiba closed 10 months ago

mtshiba commented 10 months ago

related: #480