blackbird icon indicating copy to clipboard operation
blackbird copied to clipboard

A header-only library that defines common SKI combinators from Combinatory Logic.

Results 2 blackbird issues
Sort by recently updated
recently updated
newest added

Cool idea for a library! Was playing around with it a little bit after watching your The Twin Algorithms talk and found this small "issue", though I'm not sure if...

I'm looking at this page https://combinatorylogic.com/table.html (from your presentation) which states that phoenix / big phi is `λabcd.a(bd)(cd)` and this source cooberates this https://blog.lahteenmaki.net/combinator-birds.html `Φ x y z w =...