Naming: if we fail to findName in the current development, return Nothing. Hence, mangleP can return the stringified name of the unknown REF. Useful for axioms, such as Refl or Sym. (correct me if that's the wrong solution)
Naming: if we fail to findName in the current development, return Nothing. Hence, mangleP can return the stringified name of the unknown REF. Useful for axioms, such as Refl or Sym. (correct me if that's the wrong solution)
kwangkim/pigment,kwangkim/pigment,brixen/Epigram,kwangkim/pigment