Update example code and add tests and parsee support for blocks - Githubissues

Cypher1 / tako

An experimental programming language for ergonomic software verification

https://takolang.dev

MIT License

15 stars 1 forks source link

Update example code and add tests and parsee support for blocks #406

Closed Cypher1 closed 6 months ago

Cypher1 commented 6 months ago

Update example code to match parser sytax and add test tags
Parser changes to support planned features
Add tests for example code using test-each