mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-09-11 03:45:29 +03:00
8 lines
199 B
Plaintext
8 lines
199 B
Plaintext
data _Box = (Box val)
|
|
|
|
Box/subst (_Box/Box n) from to = (Box/subst/go n (== from n) to)
|
|
Box/subst/go a 0 to = (_Box/Box a)
|
|
Box/subst/go a * to = to
|
|
|
|
Main = (Box/subst (_Box/Box 4) 4 (_Box/Box 10))
|