search

JSAbrahams / mamba

🐍 The Mamba programming language, because we care about safety
MIT License
85 stars 3 forks source link

Check pure property of functions #176

Open JSAbrahams opened 4 years ago

JSAbrahams commented 4 years ago

Current Issue

We do not check in the type checker whether functions are pure

High-level description of the feature

Description of potential implementation