Owen Lynch on Nostr: nprofile1q…d6kk0 Later down the line, we intend to allow users to try to decide ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 (nprofile…6kk0) Later down the line, we intend to allow users to try to decide morphism equality via e-graphs. But I don't want to rely on e-graphs in the conversion checker.