Search

Search results for Nominal.

Packages

• nominal

Modules

• Data.Heap.Binominal in lib:llrbtree
• Data.Type.Role.Nominal in lib:coercion-extras
• Hyper.Syntax.Nominal in lib:hypertypes
• Language.Nominal in lib:nom
• Language.Nominal.Abs in lib:nom
• Language.Nominal.Binder in lib:nom
• Language.Nominal.Equivar in lib:nom
• Language.Nominal.Examples.Assembly1 in lib:nom
• Language.Nominal.Examples.Assembly2 in lib:nom
• Language.Nominal.Examples.Graph in lib:nom
• Language.Nominal.Examples.IdealisedEUTxO in lib:nom
• Language.Nominal.Examples.Style in lib:nom
• Language.Nominal.Examples.SystemF in lib:nom
• Language.Nominal.Examples.Tutorial in lib:nom
• Language.Nominal.Examples.UntypedLambda in lib:nom
• Language.Nominal.Name in lib:nom
• Language.Nominal.NameSet in lib:nom
• Language.Nominal.Nom in lib:nom
• Language.Nominal.Properties.AbsSpec in lib:nom
• Language.Nominal.Properties.AllTests in lib:nom
• Language.Nominal.Properties.EquivarSpec in lib:nom
• Language.Nominal.Properties.Examples.IdealisedEUTxOSpec in lib:nom
• Language.Nominal.Properties.Examples.SystemFSpec in lib:nom
• Language.Nominal.Properties.NameSetSpec in lib:nom
• Language.Nominal.Properties.NameSpec in lib:nom
• Language.Nominal.Properties.NomSpec in lib:nom
• Language.Nominal.Properties.SpecUtilities in lib:nom
• Language.Nominal.Properties.SubSpec in lib:nom
• Language.Nominal.Properties.UnifySpec in lib:nom
• Language.Nominal.Properties.UtilitiesSpec in lib:nom
• Language.Nominal.SMonad in lib:nom
• Language.Nominal.Sub in lib:nom
• Language.Nominal.Unify in lib:nom
• Language.Nominal.Unique in lib:nom
• Language.Nominal.Utilities in lib:nom
• Nominal in lib:nominal
• Nominal.Atom in lib:nominal
• Nominal.Atomic in lib:nominal
• Nominal.Bindable in lib:nominal
• Nominal.ConcreteNames in lib:nominal
• Nominal.Generic in lib:nominal
• Nominal.Nominal in lib:nominal
• Nominal.NominalShow in lib:nominal
• Nominal.NominalSupport in lib:nominal
• Nominal.Permutation in lib:nominal
• Nominal.Unsafe in lib:nominal
• Stype.Categorical.Nominal in lib:hasklepias

Users

None found.