search

johnynek / bosatsu

A python-ish pure and total functional programming language
Apache License 2.0
222 stars 11 forks source link

change type-check to just check #1179

Closed johnynek closed 3 months ago

johnynek commented 3 months ago

follow cargo here. We don't need type-check. It's longer and we are doing more than checking types.