package lambdapi

  1. Overview
  2. Docs
Proof assistant for the λΠ-calculus modulo rewriting

Install

Dune Dependency

Authors

Maintainers

Sources

lambdapi-2.5.0.tbz
sha256=9bc8ae3694dd51bd5742e7aba760bd2878c4b0e5ef9b3d4a7b06f3cd303b611d
sha512=c812c3129b3d85b0c4d7e741d11137dbb4fe2a0aaba3a5968409080b742924ecb506280c19ad83ef6bc910346db96d87780313fa7683c29345edae16ae79c704

doc/lambdapi.lplib/Lplib/Option/Monad/index.html

Module Option.MonadSource

Sourceval (let*) : 'a option -> ('a -> 'b option) -> 'b option

Monadic let* allows to replace

  match e1 with
  | Some e2 -> Some (f e2)
  | None -> None

with

  let* x = e1 in
  f x
Sourceval return : 'a -> 'a option
OCaml

Innovation. Community. Security.