From 3a03bdd7e7a2dbe1d83c33f5fbe8e94d6bac9f71 Mon Sep 17 00:00:00 2001 From: Collin Williams <96917990+bluedragon1221@users.noreply.github.com> Date: Sun, 14 Jun 2026 16:41:52 -0500 Subject: messy code --- src/lib.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/lib.rs') diff --git a/src/lib.rs b/src/lib.rs index 1bb3e41..fa9fcb2 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -1,3 +1,5 @@ -pub mod sexpr; pub mod def_rules; +pub mod format_latex; pub mod match_rules; +pub mod sexpr; +pub mod simplify; -- cgit v1.3.1