feat: we're flat encoding plutus core

2022-05-23 12:45:13 -04:00
parent 344620136f
commit b345afd12f
3 changed files with 23 additions and 2 deletions
--- a/crates/uplc/example/plutus-core
+++ b/crates/uplc/example/plutus-core
@@ -1,3 +1,3 @@
 (program 1.0.0
-    [[(builtin addInteger) (con integer 4)] (con integer 8)]
+    (con bool False)
 )