Fix code TODO in mu bootstrapping
There's a TODO
comment in the code that goes from a mu
combinator into a fully-fledged encoding. It needs to be addressed:
The following discussion from !43 (merged) should be addressed:
-
@yrg started a discussion: (+2 comments) I do not understand this TODO. Is it here to stay?