nom: Name-binding & alpha-equivalence

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

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.

Properties

Versions 0.1.0.0, 0.1.0.0, 0.1.0.1, 0.1.0.2
Change log None available
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-06-24T14:14:45Z

Modules

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees