Skip to content
  • Alexander Soen's avatar
    Translation of sets of sets now possible · 2e0a1c69
    Alexander Soen authored
    Currently the expected translation function works for constants. This
    needs to be extended for other term types.
    
    The robustness of the type inference can also be improved on.
    Currently the new type is generated by appending new elements to a list
    which has an implicit ordering.
    2e0a1c69