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.

Modules

[Last Documentation]

  • Language
    • Language.Nominal
      • Language.Nominal.Abs
      • Language.Nominal.Binder
      • Language.Nominal.Equivar
      • Examples
        • Language.Nominal.Examples.Assembly1
        • Language.Nominal.Examples.Assembly2
        • Language.Nominal.Examples.IdealisedEUTxO
        • Language.Nominal.Examples.Style
        • Language.Nominal.Examples.SystemF
        • Language.Nominal.Examples.Tutorial
        • Language.Nominal.Examples.UntypedLambda
      • Language.Nominal.Name
      • Language.Nominal.NameSet
      • Language.Nominal.Nom
      • Properties
        • Language.Nominal.Properties.AbsSpec
        • Language.Nominal.Properties.AllTests
        • Language.Nominal.Properties.EquivarSpec
        • Examples
          • Language.Nominal.Properties.Examples.IdealisedEUTxOSpec
          • Language.Nominal.Properties.Examples.SystemFSpec
        • Language.Nominal.Properties.NameSetSpec
        • Language.Nominal.Properties.NameSpec
        • Language.Nominal.Properties.NomSpec
        • Language.Nominal.Properties.SpecUtilities
        • Language.Nominal.Properties.SubSpec
        • Language.Nominal.Properties.UnifySpec
        • Language.Nominal.Properties.UtilitiesSpec
      • Language.Nominal.SMonad
      • Language.Nominal.Sub
      • Language.Nominal.Unify
      • Language.Nominal.Unique
      • Language.Nominal.Utilities

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
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-24T08:00:01Z
Distributions
Downloads 475 total (9 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2020-06-24 [all 2 reports]