issues
search
Cypher1
/
tako
An experimental programming language for ergonomic software verification
https://takolang.dev
MIT License
15
stars
1
forks
source link
Desugarer using equivalents
#366
Closed
Cypher1
closed
1 year ago