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"]
]
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."""
url {
  src: "https://github.com/baxtersa/lambda-pi/archive/v0.0.1.tar.gz"
  checksum: [
    "sha256=cb21468158adea57125ba140cd5ee6a042a60858524cc0f983517204e11652ac"
    "md5=fabb1f21490025b20206b5c0d1ff6e78"
  ]
}