Cypher1 / tako

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

Solver style dynamic build system #85

Open Cypher1 opened 5 years ago

Cypher1 commented 2 years ago

Might be worth looking at Crepe and proc macros to build something similar, with a DSL for rules and a compilation step that generates the necessary (representative code).

Could tie in with the ECS systems by generating the systems automatically.