nom-0.1.0.1: Name-binding & alpha-equivalence

Safe HaskellNone
LanguageHaskell2010

Language.Nominal.Properties.EquivarSpec

Synopsis

Documentation

prop_atoms_one_orbit :: [Name ()] -> Bool Source #

Only one orbit of atoms

prop_atomssq_orbit :: [(Name (), Name ())] -> Bool Source #

Two orbits of atom pairs (equal, or disjoint)