Closed robrix closed 7 years ago
This PR improves the definitions of retract & foldFreer by simplification & inlining.
retract
foldFreer
This PR improves the definitions of
retract
&foldFreer
by simplification & inlining.