use true filter instead of lam + bot

AnyDSL · Oct 13, 2024 · 80873d6 · 80873d6
1 parent f2a6cd8
commit 80873d6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lit/fib.mim b/lit/fib.mim
@@ -5,7 +5,7 @@
 
 .plugin core;
 
-.lam seq .(A: *) (n: .Nat) (body: .Cn [.Cn A][A]) (exit: .Cn A) (acc: A): .bot =
+.con seq .(A: *) (n: .Nat) (body: .Cn [.Cn A][A]) (exit: .Cn A) (acc: A)@.tt =
     head(0, acc)
     .where
         .con head (i: .Nat, acc: A)@%core.pe.known n =