From simple experiments: #4 and #10 it seems that we need to have following pipeline (similar to nanopass framework):
- parse original Agda syntax into some simplified representation (AgdaRep)
- transform AgdaRep into representation close to Rust (RustRep)
- output RustRep in some reasonable format
We need some architecture diagram - perhaps on wiki or README, perhaps using Mermaid.
Ideally generated / updated from source code.
Done criteria:
From simple experiments: #4 and #10 it seems that we need to have following pipeline (similar to nanopass framework):
We need some architecture diagram - perhaps on wiki or README, perhaps using Mermaid.
Ideally generated / updated from source code.
Done criteria: