12 lines
188 B
Plaintext
12 lines
188 B
Plaintext
!import "../lib/Base.tri" !Local
|
|
!import "../lib/List.tri" !Local
|
|
|
|
main = size size
|
|
|
|
size = x : y (self x : compose succ (triage
|
|
id
|
|
self
|
|
(x y : compose (self x) (self y))
|
|
x)
|
|
) x 0
|