tlringer opened this issue 5 years ago · 0 comments
Simon is interested in integrating this into EFF at some point. For better EFF integration, our tool needs to support universe polymorphism.