• Ronny Wichers Schreur's avatar
    remove TC; types · 89f4221b
    Ronny Wichers Schreur authored
    type constructors in dynamic types are now uniquely represented by the
    descriptor of their TD_ (type definition) function
    89f4221b
convertDynamics.icl 31.3 KB