package lambdapi

  1. Overview
  2. Docs
val default_log_file : string
val main : bool -> string -> unit
OCaml

Innovation. Community. Security.