git.haldean.org ubik / 48d7386
fresh outta ideas haldean 4 years ago
1 changed file(s) with 4 addition(s) and 2 deletion(s). Raw diff Collapse all Expand all
105105
106106 : top = \x -> {
107107 : inner_ = \x inner y -> inner (+ x y)
108 : inner = (inner_ x) (inner_ x)
109 ! inner
108 : inner_with_x_ = inner_ x
109 : inner_with_inner_ = inner_with_x_ inner_with_x_
110110 }
111
112 But that doesn't work either. Hm.