Tiny bug

HigherOrderCO · Dec 3, 2024 · a31f5f7 · a31f5f7
1 parent 3d64558
commit a31f5f7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/book/enum_bin.hvml b/book/enum_bin.hvml
@@ -72,8 +72,8 @@ data Pair { #Pair{fst snd} }
 
 // Decrements a Bin
 @dec(a) = ~a{
-  #O{p}: #O{@dec(p)}
-  #I{p}: #I{p}
+  #O{p}: #I{@dec(p)}
+  #I{p}: #O{p}
   #E: #E
 }