Leni Aniva 9d445783c2 feat: Draft tactic REPL interface		2025-01-13 12:50:25 -08:00
..
icon.svg	doc: Update icon	2024-11-15 23:29:37 -08:00
rationale.md	doc: Add limitations	2024-12-11 15:09:14 -08:00
repl.md	feat: Draft tactic REPL interface	2025-01-13 12:50:25 -08:00