File tree Expand file tree Collapse file tree 1 file changed +4
-3
lines changed Expand file tree Collapse file tree 1 file changed +4
-3
lines changed Original file line number Diff line number Diff line change @@ -46,15 +46,16 @@ composer require loophp/combinator
4646| J | Jay | | ` a => b => c => d => a(b)(a(d)(c)) ` | ` (a -> b -> b) -> a -> b -> a -> b ` | 4 |
4747| K | Kestrel | const | ` a => b => a ` | ` (a -> b -> a) ` | 2 |
4848| Ki | Kite | | ` a => b => b ` | ` (a -> b -> b) ` | 2 |
49- | L | | | ` a => b => a(b(b)) ` | | 2 |
50- | M | | | ` a => a(a) ` | | 1 |
49+ | L | Lark | | ` a => b => a(b(b)) ` | | 2 |
50+ | M | Mockingbird | | ` a => a(a) ` | | 1 |
5151| O | Owl | | ` a => b => b(a(b)) ` | ` ((a -> b) -> a) -> (a -> b) -> b ` | 2 |
52+ | Phoenix | | | ` a => b => c => d => a(b(d))(c(d)) ` | ` (b -> c -> d) -> (a -> b) -> (a -> c) -> a -> d ` | 4 |
5253| Psi | | on | ` a => b => c => d => a(b(c))(b(d)) ` | ` (b -> b -> c) -> (a -> b) -> a -> a -> c ` | 4 |
5354| Q | Queer | (##) | ` a => b => c => b(a(c)) ` | ` (a -> b) -> (b -> c) -> a -> c ` | 3 |
5455| R | Robin | | ` a => b => c => b(c)(a) ` | ` a -> (b -> a -> c) -> b -> c ` | 3 |
5556| S | Starling | <* > | ` a => b => c => a(c)(b(c)) ` | ` (a -> b -> c) -> (a -> b) -> a -> c ` | 3 |
5657| T | Trush | (#) | ` a => b => b(a) ` | ` a -> (a -> b) -> b ` | 2 |
57- | U | | | ` a => b => b(a(a)(b)) ` | | 2 |
58+ | U | Turing bird | | ` a => b => b(a(a)(b)) ` | | 2 |
5859| V | Vireo | | ` a => b => c => c(a)(b) ` | ` a -> b -> (a -> b -> b) -> b ` | 3 |
5960| W | Warbler | | ` a => b => a(b)(b) ` | ` (a -> a -> b) -> a -> b ` | 2 |
6061| Y | | | ` a => (b => b(b))(b => a(c => b(b)(c))) ` | | 1 |
You can’t perform that action at this time.
0 commit comments