lambda-pi-0.3.2: λΠ-calculus implemented in a few different ways.

lambda-pi-0.3.2

• Language
  Submodules

  • LambdaPi
    Submodules

    • Impl
      Submodules

      •  Language.LambdaPi.Impl.Foil
      •  Language.LambdaPi.Impl.FoilTH
      •  Language.LambdaPi.Impl.FreeFoil
      •  Language.LambdaPi.Impl.FreeFoilTH
    • Syntax
      Submodules

      •  Language.LambdaPi.Syntax.Abs
      •  Language.LambdaPi.Syntax.Layout
      •  Language.LambdaPi.Syntax.Lex
      •  Language.LambdaPi.Syntax.Par
      •  Language.LambdaPi.Syntax.Print