- <a href="https://git.ツツツ.com/?p=temple.lean4.git">https://git.ツツツ.com/?p=temple.lean4.git</a>
A rudimentary template engine written in Lean4 without fancy dependent
types and useful operators yet. It can parse, build a tree, and substitute
- <a href="https://git.ツツツ.com/?p=temple.lean4.git">https://git.ツツツ.com/?p=temple.lean4.git</a>
A rudimentary template engine written in Lean4 without fancy dependent
types and useful operators yet. It can parse, build a tree, and substitute