use new heap term representation

mthom · Jan 7, 2022 · 0404c3b · 0404c3b
1 parent d0b74a9
commit 0404c3b
Show file tree

Hide file tree

Showing 72 changed files with 25,735 additions and 16,469 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,5 @@
+src/static_atoms.rs
 target/
 
 
+