Open ilya-klyuchnikov opened 3 years ago
Re-arrange, re-structure all the examples in such a way, that different type-checkers are easily comparable. Solution: introduce some canonical way in which case classes, clauses are ordered. Baseline: start from the "fullest" TS - fullfomsubref
fullfomsubref
Another option: use alphabetical order.
Re-arrange, re-structure all the examples in such a way, that different type-checkers are easily comparable. Solution: introduce some canonical way in which case classes, clauses are ordered. Baseline: start from the "fullest" TS -
fullfomsubref
Another option: use alphabetical order.