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

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	536 total (10 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]