Opam Package lpi.0.0.2

Package info

opam-namelpi
opam-version0.0.2
synopsisA REPL and library for a small dependently-typed language.
description lpi is a small dependently-typed language supporting dependent lists and dependent function spaces, and intends to grow into a fully featured, statically-checked programming language.
authors
  • Sam Baxter <baxtersa14@gmail.com>
homepagehttp://github.com/baxtersa/lambda-pi
licenseMIT
deps (2)
revdeps(0)
metas (1)
libraries(0)

Package modules

Package sources

lpi

Package files

lib/lpi/staticsemantics.cmo
lib/lpi/staticsemantics.cmi
lib/lpi/parser.cmo
lib/lpi/parser.cmi
lib/lpi/lpi.cma
lib/lpi/lpi-repl
lib/lpi/lexer.cmo
lib/lpi/lexer.cmi
lib/lpi/interpreter.cmo
lib/lpi/interpreter.cmi
lib/lpi/interpret.cmo
lib/lpi/interpret.cmi
lib/lpi/environment.cmo
lib/lpi/environment.cmi
lib/lpi/basis.cmo
lib/lpi/basis.cmi
lib/lpi/ast.cmo
lib/lpi/ast.cmi
lib/lpi/META
lib/lpi
bin/lpi-repl