search

digama0 / mm0

Metamath Zero specification language
Creative Commons Zero v1.0 Universal
307 stars 40 forks source link

add enum variant to env_dbg output #45

Closed ammkrn closed 3 years ago

ammkrn commented 3 years ago

I forgot to add the enum variant to the debug representation.