-
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
To find the state of this project's repository at the time of any of these versions, check out the tags.