redtt
redtt copied to clipboard
Change the programming style of Cx.def and Cx.ext_blah
I think it would be cool to write
Cx.ext_dim blah... @@ fun x ->
Cx.ext_ty foo... @@ fun y ->
Cx.def hey... @@
cx
After #270.