The TODOs¶
Core Infrastructure
🔧 Core
Grammar parser
🔧 Core
Rewrite engine V1
🔧 Core
Rewrite engine V2: integrate RL approach
Language & Calculus
📚 LCL
Equational grammar
📚 LCL
Equational rewrite rules
📚 LCL
Equational isolation method
📚 LCL
Network grammar
🔄 LCL
Network rewrite rules
🔄 LCL
Equation to network translation
🔄 LCL
Network approximation semantics
🔄 LCL
Network simulation semantics
Agent System
🤖 Agent
State machine approach to agent orchestration
🤖 Agent
Rewrite tools for proof reduction
🤖 Agent
Simulation and comparison tools