hindley-milner-0.1.0.0: Template for Hindley-Milner based languages
Language.HM.Alpha
Description
Alpha equivalence.
Synopsis
class AlphaEq a where Source
Class of types which have a notion of alpha equivalence.
Methods
alphaEq :: a -> a -> Bool Source
alphaEq x y determines whether x and y are alpha-equivalent.
alphaEq
x y
x
y
Instances