blackbird
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 =...