Support Calls and egraphs

Cypher1 / tako

An experimental programming language for ergonomic software verification

https://takolang.dev

MIT License

15 stars 1 forks source link

Closed Cypher1 closed 1 year ago

Cypher1 commented 1 year ago

Support calls in the interpreter
Add support for updating the ast with equivalents
- and pretty printing the newest ones
Add example of statements to webui