nom: Name-binding & alpha-equivalence

[ bsd3, compilers-interpreters, language, library ] [ Propose Tags ]

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.

Downloads

Maintainer's Corner

Package maintainers

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 475 total (9 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]