The latest version of nom is 0.1.0.2-0.
lib:nom
Modules
- Language.Nominal
- Language.Nominal.Abs
- Language.Nominal.Binder
- Language.Nominal.Equivar
- Language.Nominal.Examples.Assembly1
- Language.Nominal.Examples.Assembly2
- Language.Nominal.Examples.IdealisedEUTxO
- Language.Nominal.Examples.Style
- Language.Nominal.Examples.SystemF
- Language.Nominal.Examples.Tutorial
- Language.Nominal.Examples.UntypedLambda
- Language.Nominal.Name
- Language.Nominal.NameSet
- Language.Nominal.Nom
- Language.Nominal.Properties.AbsSpec
- Language.Nominal.Properties.AllTests
- Language.Nominal.Properties.EquivarSpec
- Language.Nominal.Properties.Examples.IdealisedEUTxOSpec
- Language.Nominal.Properties.Examples.SystemFSpec
- Language.Nominal.Properties.NameSetSpec
- Language.Nominal.Properties.NameSpec
- Language.Nominal.Properties.NomSpec
- Language.Nominal.Properties.SpecUtilities
- Language.Nominal.Properties.SubSpec
- Language.Nominal.Properties.UnifySpec
- Language.Nominal.Properties.UtilitiesSpec
- Language.Nominal.SMonad
- Language.Nominal.Sub
- Language.Nominal.Unify
- Language.Nominal.Unique
- Language.Nominal.Utilities
Dependencies
- QuickCheck lib:QuickCheck >=2.11.3 && <2.13.3
- TypeCompose lib:TypeCompose >=0.9.14 && <0.10
- Unique lib:Unique >=0.4.7 && <0.5
- algebra lib:algebra >=4.3.1 && <4.4
- base lib:base >=4.7 && <5
- containers lib:containers >=0.5.11 && <0.6.3
- data-default lib:data-default >=0.7.1 && <0.8
- extra lib:extra >=1.6.9 && <1.7
- finite-typelits lib:finite-typelits >=0.1.4 && <0.2
- flow lib:flow >=1.0.20 && <1.1
- syb lib:syb >=0.7 && <0.8
Reverse dependencies
Direct only. Not exhaustive.