mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-09-11 03:45:29 +03:00
11 lines
255 B
Plaintext
11 lines
255 B
Plaintext
MkTup8 = @a @b @c @d @e @f @g @h @MkTup8 (MkTup8 a b c d e f g h)
|
|
|
|
rot = λx (x λa λb λc λd λe λf λg λh (MkTup8 b c d e f g h a))
|
|
|
|
app = λn switch n {
|
|
0: λf λx x
|
|
_: λf λx (app n-1 f (f x))
|
|
}
|
|
|
|
main = (app 100 rot (MkTup8 1 2 3 4 5 6 7 8))
|