Introduce as_context macro for building a common pattern of using a type as context for another type (e.g. IDs) for display purposes - Githubissues

Cypher1 / tako

An experimental programming language for ergonomic software verification

https://takolang.dev

MIT License

15 stars 1 forks source link

Introduce as_context macro for building a common pattern of using a type as context for another type (e.g. IDs) for display purposes #407

Closed Cypher1 closed 6 months ago

Cypher1 commented 6 months ago

Attempt WithContext cleanup