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]
15depends: [
16 "ocaml" {>= "4.01"}
17 "ocamlfind" {build}
18]
19synopsis: "A REPL and library for a small dependently-typed language."
20description: """
21lpi is a small dependently-typed language supporting dependent
22lists and dependent function spaces, and intends to grow into
23a fully featured, statically-checked programming language."""
24url {
25 src: "https://github.com/baxtersa/lambda-pi/archive/v0.0.1.tar.gz"
26 checksum: [
27 "sha256=cb21468158adea57125ba140cd5ee6a042a60858524cc0f983517204e11652ac"
28 "md5=fabb1f21490025b20206b5c0d1ff6e78"
29 ]
30}