this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Sam Baxter <baxtersa14@gmail.com>"
3authors: "Sam Baxter <baxtersa14@gmail.com>"
4homepage: "http://github.com/baxtersa/lambda-pi"
5bug-reports: "http://github.com/baxtersa/lambda-pi/issues"
6license: "MIT"
7dev-repo: "git+https://github.com/baxtersa/lambda-pi.git"
8build: [
9 ["ocamllex" "src/lexer.mll"]
10 ["ocamlyacc" "src/parser.mly"]
11 [make "-C" "src/" "depend"]
12 [make "-C" "src/"]
13 [make "-C" "src/" "lpi"]
14]
15install: [make "-C" "src/" "install"]
16remove: ["ocamlfind" "remove" "lpi"]
17depends: [
18 "ocaml" {>= "4.01"}
19 "ocamlfind" {build}
20]
21synopsis: "A REPL and library for a small dependently-typed language."
22description: """
23lpi is a small dependently-typed language supporting dependent
24lists and dependent function spaces, and intends to grow into
25a fully featured, statically-checked programming language."""
26flags: light-uninstall
27url {
28 src: "https://github.com/baxtersa/lambda-pi/archive/v0.0.2.tar.gz"
29 checksum: [
30 "sha256=f64f18d5838f3eb24b2d40d7b7deb64d06d890972ca5b47f68221e772b3f1ded"
31 "md5=7a6b764fb591a8f0c064af3015dc75f3"
32 ]
33}