Conversion check for cycle introduction and transitivity check#16

Merged

insafuhrmann merged 2 commits intomainfrom if/conversion-algorithm

Oct 14, 2024

+45-13

Commits on Oct 14, 2024

Implemented the cycle introduction and transitivity check for conversion.ts.
insafuhrmann
committed
Fixed a typo in cycle error message, converted to template string.
insafuhrmann
committed