The Owl.

smimram · Jan 29, 2025 · 55d7fea · 55d7fea
1 parent 55a290d
commit 55d7fea
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/examples/birds.cccatt b/examples/birds.cccatt
@@ -126,6 +126,7 @@ coh L {a b : .} : (a -> a -> b) -> a -> b
 # This is untypable.
 
 # Owl
+# λxy.y(xy)
 #coh O {a b :. } : ((a -> b) -> a) -> (a -> b) -> b
 
 # Phoenix. (Big) Phi combinator. This is the same function as starling'.