issues
search
Cypher1
/
tako
An experimental programming language for ergonomic software verification
https://takolang.dev
MIT License
15
stars
1
forks
source link
Add examples of planned features
#401
Closed
Cypher1
closed
6 months ago
Cypher1
commented
6 months ago
Add examples for planned features
Make example syntax more consistent
Add gadts examples with functional dependencies
Make example syntax more consistent
Chmod examples for the interpreter
Add shebangs
Add instances examples