Closed riedelcastro closed 9 years ago
Currently terms don't have have useful toString methods. Would be good to roughly recover the term tree as it was defined in scala.
(I think this could be a good task to start exploring the code base)
Pretty much done now, with occasional terms that don't render nicely
Currently terms don't have have useful toString methods. Would be good to roughly recover the term tree as it was defined in scala.
(I think this could be a good task to start exploring the code base)