Progress on simplification pass

google-research · Dec 2, 2024 · af23e1e · af23e1e
1 parent b9e7708
commit af23e1e
Show file tree

Hide file tree

Showing 12 changed files with 1,590 additions and 2,013 deletions.
diff --git a/dex.cabal b/dex.cabal
@@ -37,7 +37,7 @@ flag debug
 
 library
   exposed-modules:     AbstractSyntax
-                     -- , Builder
+                     , Builder
                      -- , CheapReduction
                      -- , CheckType
                      , ConcreteSyntax
@@ -56,7 +56,7 @@ library
                      , RawName
                      -- , RuntimePrint
                      -- , Serialize
-                     -- , Simplify
+                     , Simplify
                      , Subst
                      , SourceRename
                      , SourceIdTraversal