Cypher1 / tako

An experimental programming language for ergonomic software verification
https://takolang.dev
MIT License
15 stars 1 forks source link

Improve handling of keywords #402

Closed Cypher1 closed 5 months ago

Cypher1 commented 5 months ago

Also updates and improves some example code with planned features: