package alba

You can search for identifiers within the package.

in-package search v0.2.0

Alba compiler

Install

Dune Dependency

albatross-lang.sourceforge.net Readme Edit opam file Versions (5)

Authors

H

Helmut Brandl <helmut.brandl@gmx.net>

Maintainers

H

Helmut Brandl <helmut.brandl@gmx.net>

Sources

0.4.1.tar.gz

sha256=439b1dce07c86e914d1ebf1712c5581418314b0c8d13594f27a698b1d25fe272

md5=5cf58d4ed4eacbe6f330e9d2378ef5c6

doc/alba.albalib/Albalib/index.html

Module `Albalib`Source

Sourcemodule Alba_console : sig ... end

Sourcemodule Ast : sig ... end

Sourcemodule Build_context : sig ... end

Sourcemodule Builder : sig ... end

Sourcemodule Context : sig ... end

Sourcemodule Gamma : sig ... end

Sourcemodule Gamma_algo : sig ... end

Sourcemodule Gamma_holes : sig ... end

Gamma_holes is a context with holes which can be filled later. A hole is a local unnamed variable with a type (i.e. an assumption that an element with this type exists), initially without value. Later on the value can be provided.

Sourcemodule Operator : sig ... end

Sourcemodule Parser_lang : sig ... end

Sourcemodule Term : sig ... end

Sourcemodule Term_printer : sig ... end

Sourcemodule Typecheck : sig ... end

Sourcemodule Unifier : sig ... end