search

Cypher1 / tako

An experimental programming language for ergonomic software verification
https://takolang.dev
MIT License
15 stars 1 forks source link

Make as_context less generic as it is only used for Expr Indexes #409

Closed Cypher1 closed 6 months ago