c2.bend source

c2.bend on the hub · documented module

type Emp is Data:type D is Type:  K{f: D -> Emp}def un(x: D) -> D -> Emp:  match x:    case K{f}:      f@unsafedef dl(+x: D) -> Emp:  un(x)(x)@unsafedef dlw(x: D) -> Emp:  dl(x)def w() -> D:  K{dlw}def boom() -> Emp:  dlw(w())