7 Commits

Author	SHA1	Message	Date
Leni Aniva	05f6997062	doc: Update repl documentation	2025-01-28 17:41:41 -08:00
Leni Aniva	003a63bd13	doc: Manual about `env.{describe,module_read}`	2025-01-24 20:21:31 -08:00
Leni Aniva	9d445783c2	feat: Draft tactic REPL interface	2025-01-13 12:50:25 -08:00
Leni Aniva	95503c45e4	doc: frontend.process newConstants	2024-12-10 21:45:57 -08:00
Leni Aniva	95408d1d52	doc: Unify types	2024-12-05 17:21:06 -08:00
Leni Aniva	bfdc7dd39e	doc: Fix code environment	2024-12-05 16:02:00 -08:00
Leni Aniva	3da85b7f04	doc: Documentation for save/load	2024-12-05 16:00:46 -08:00