nom-0.1.0.2: Name-binding & alpha-equivalence

Safe HaskellNone
LanguageHaskell2010

Language.Nominal.Properties.NameSetSpec

Documentation

prop_supp_apart :: [Name Bool] -> [Name Bool] -> Property Source #

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