lambdapi.parsing
Parsing
lambdapi.common
lambdapi.core
lambdapi.export
lambdapi.handle
lambdapi.lplib
lambdapi.lsp
lambdapi.pure
lambdapi.tool
module DkBasic : sig ... end
Part of the Dedukti source file kernel/basic.ml.
module DkLexer : sig ... end
Dedukti source file parsing/lexer.mll.
module DkParser : sig ... end
module DkRule : sig ... end
module DkTokens : sig ... end
Dedukti source file parsing/tokens.ml.
module LpLexer : sig ... end
module LpParser : sig ... end
module Package : sig ... end
Find and read lambdapi.pkg files.
module Parser : sig ... end
Parsing functions for Lambdapi.
module Pratt : sig ... end
Parsing of infix operators using the Pratter library.
module Pretty : sig ... end
Pretty-printing the parser-level AST.
module Scope : sig ... end
Scoping. Convert parsed terms in core terms by finding out which identifiers are bound variables or function symbol declared in open modules.
module Syntax : sig ... end
Parser-level abstract syntax.