issues
search
Cypher1
/
tako
An experimental programming language for ergonomic software verification
https://takolang.dev
MIT License
15
stars
1
forks
source link
Use a name tracking context type for prints
#408
Closed
Cypher1
closed
6 months ago
Cypher1
commented
6 months ago
Avoid unnecessary extends for llamada expr printing
Avoid unnecessary clones for llamada exprs printing
Avoid intermediate strings when formatting names
Use a name generator to avoid storing all names
Use a name generator to avoid storing all names