Hello! These are some niche edge cases open for future enhancement. - Implement datatype theory in TermTranslator - DAG-ify sorts in TermTranslator
Hello!
These are some niche edge cases open for future enhancement.