package lambdapi

You can search for identifiers within the package.

in-package search v0.2.0

Proof assistant for the λΠ-calculus modulo rewriting

Install

dune-project

Dependency

sha256=66d7d29f7a0d10493b8178c4c3aeb247971e24fab3eba1c54887e1b9a82fe005

sha512=69ecf2406e4c7225ab7f8ebe11624db5d2ab989c8f30f5b6e5d426fd8ef9102f142a2840af16fb9103bb712ebcf7d314635f8b413a05df66e7b7a38548867032

Sourcemodule DkBasic : sig ... end

Sourcemodule DkLexer : sig ... end

Sourcemodule DkParser : sig ... end

Sourcemodule DkRule : sig ... end

Sourcemodule DkTokens : sig ... end

Sourcemodule LpLexer : sig ... end

Sourcemodule LpParser : sig ... end

Sourcemodule Package : sig ... end

Package configuration file interface.

Sourcemodule Parser : sig ... end

Parsing functions for Lambdapi.

Sourcemodule Pratt : sig ... end

This module defines functions needed by the Pratt parser of the Pratter library.

Sourcemodule Pretty : sig ... end

Pretty-printing the parser-level AST.

Sourcemodule Scope : sig ... end

Scoping: transforms p_term's into term's.

Sourcemodule Syntax : sig ... end

Parser-level abstract syntax.