opam-version: "2.0"
maintainer: "Sam Baxter <baxtersa14@gmail.com>"
authors: "Sam Baxter <baxtersa14@gmail.com>"
homepage: "http://github.com/baxtersa/lambda-pi"
bug-reports: "http://github.com/baxtersa/lambda-pi/issues"
license: "MIT"
dev-repo: "git+https://github.com/baxtersa/lambda-pi.git"
build: [
  ["ocamllex" "src/lexer.mll"]
  ["ocamlyacc" "src/parser.mly"]
  [make "-C" "src/" "depend"]
  [make "-C" "src/"]
  [make "-C" "src/" "lpi"]
]
install: [make "-C" "src/" "install"]
remove: ["ocamlfind" "remove" "lpi"]
depends: [
  "ocaml" {>= "4.01"}
  "ocamlfind" {build}
]
synopsis: "A 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."""
flags: light-uninstall
url {
  src: "https://github.com/baxtersa/lambda-pi/archive/v0.0.2.tar.gz"
  checksum: [
    "sha256=f64f18d5838f3eb24b2d40d7b7deb64d06d890972ca5b47f68221e772b3f1ded"
    "md5=7a6b764fb591a8f0c064af3015dc75f3"
  ]
}