nom: Name-binding & alpha-equivalence
Nominal-flavoured implementation of data in a context of local names, following the ideas in a new approach to abstract syntax with variable binding (see also author's pdfs). The recommended landing page is Language.Nominal, so please go there first. See also: a tutorial in Language.Nominal.Examples.Tutorial; a short development of untyped lambda-calculus in Language.Nominal.Examples.UntypedLambda; an example development of System F in Language.Nominal.Examples.SystemF; and an example development of an EUTxO-style blockchain in Language.Nominal.Examples.IdealisedEUTxO.
Modules
[Index] [Quick Jump]
- Language
- Language.Nominal
- Language.Nominal.Abs
- Language.Nominal.Binder
- Language.Nominal.Equivar
- Examples
- Language.Nominal.Name
- Language.Nominal.NameSet
- Language.Nominal.Nom
- Properties
- Language.Nominal.Properties.AbsSpec
- Language.Nominal.Properties.AllTests
- Language.Nominal.Properties.EquivarSpec
- Examples
- 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
- Language.Nominal
Downloads
- nom-0.1.0.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.1.0.0, 0.1.0.1, 0.1.0.2 |
---|---|
Change log | CHANGELOG.markdown |
Dependencies | algebra (>=4.3.1 && <4.4), base (>=4.7 && <5), containers (>=0.5.11 && <0.6.3), data-default (>=0.7.1 && <0.8), extra (>=1.6.9 && <1.7), finite-typelits (>=0.1.4 && <0.2), flow (>=1.0.20 && <1.1), QuickCheck (>=2.11.3 && <2.13.3), syb (>=0.7 && <0.8), TypeCompose (>=0.9.14 && <0.10), Unique (>=0.4.7 && <0.5) [details] |
License | BSD-3-Clause |
Copyright | 2020 Murdoch J. Gabbay |
Author | Murdoch J. Gabbay |
Maintainer | murdoch.gabbay@gmail.com |
Category | Language, Compilers/Interpreters |
Home page | https://github.com/bellissimogiorno/nominal#readme |
Bug tracker | https://github.com/bellissimogiorno/nominal/issues |
Source repo | head: git clone https://github.com/bellissimogiorno/nominal |
Uploaded | by gabbay at 2020-08-10T17:54:46Z |
Distributions | |
Downloads | 535 total (13 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2020-08-10 [all 1 reports] |