mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-09-11 11:56:54 +03:00
10 lines
179 B
Plaintext
10 lines
179 B
Plaintext
# To check that flattening works with Era patterns.
|
|
(Fn1 (*,(a,*)) *) = a
|
|
|
|
(Fn2 (*,(*,(a,*)))) = a
|
|
|
|
(Fn3 (0,*) *) = 0
|
|
(Fn3 (a,*) *) = a
|
|
|
|
main = (Fn2 ((1, 2), (3, (4, (5, 6)))) 0)
|