Fix for now.

smimram · Nov 29, 2024 · fe55c2d · fe55c2d
1 parent a2d3180
commit fe55c2d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/examples/birds.cccatt b/examples/birds.cccatt
@@ -153,8 +153,9 @@ coh warblerstarstar {a b c d : .} : (a -> b -> c -> c -> d) -> a -> b -> c -> d
 # Relationship with SK
 #
 
+coh ap {a b : .} (f : a -> b) (x : a) : b
 let B := bluebird
 let K := kestrel
 let S := starling
 
-coh blackbird-bluebird : blackbird = ap (ap B B) B
+# coh blackbird-bluebird : blackbird = ap (ap B B) B