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.4.tar.gz

sha256=4817038301d3e45bac9edf7e6f2fc8bf0a6d78e76e02ad7ea33ef69bcc17df3b

md5=25234357587126685d64f16236167937

doc/alba.core/Alba_core/index.html

Module `Alba_core`

module Sort : sig ... end

module Value : sig ... end

module Term : sig ... end

module Inductive : sig ... end

module Operator : sig ... end

module Gamma : sig ... end

module Typecheck : sig ... end

module Name_map : sig ... end

module Context : sig ... end

module Unifier : sig ... end

module 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.

module Gamma_algo : sig ... end

module Term_printer : sig ... end

module Print_inductive : sig ... end