-
Jan Rasmus Tikovsky authored
Refactoring of module Curry.ExtendedFlat.InterfaceEquality (now: Curry.ExtendedFlat.InterfaceEquivalence) - type class to implement equivalence of FlatCurry interfaces - removed module Curry.Base.Equiv - new module Curry.Syntax.InterfaceEquivalence (moved from curry-frontend)
1b833cf9