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.

Versions [faq] 0.1.0.0, 0.1.0.1
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.*), 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-06-29T09:32:27Z
Distributions NixOS:0.1.0.0
Downloads 66 total (66 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2020-06-29 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees