User blog comment:Ubersketch/A proposal for a standard/@comment-34422464-20190813205023/@comment-34422464-20190813232808

Oh good point, we also have to make comparison algorithm for those too, but there probably is a recursive order for them nontheless. Also where is the comparison algorithm for CNF and Wainer hierarchy?