@hackage nom0.1.0.2
Name-binding & alpha-equivalence
Categories
License
BSD-3-Clause
Maintainer
murdoch.gabbay@gmail.com
Links
Versions
Installation
CustomDependencies (11)
- QuickCheck >=2.11.3 && <2.13.3
- TypeCompose >=0.9.14 && <0.10
- Unique >=0.4.7 && <0.5
- algebra >=4.3.1 && <4.4
- base >=4.7 && <5
- containers >=0.5.11 && <0.6.3 Show all…
Dependents (0)
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.