@hackage / nom

Name-binding & alpha-equivalence

Latest0.1.0.2

About

Metadata

  • Last updated , by gabbay
  • License BSD-3-Clause
  • Categories Compilers and Interpreters

  • Maintained by: murdoch.gabbay@gmail.com

  • Lottery factor: 0

Links

Installation

This package uses the Custom cabal build type

Readme

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.