[Git][monnier/typer][main] 3 commits: Add Zarith dependency to opam file
Stefan pushed to branch main at Stefan / Typer Commits: 50069ddc by Shon Feder at 2022-03-11T20:42:03-05:00 Add Zarith dependency to opam file Also adds "synopsis" and "description" fields, with content taken from https://www.iro.umontreal.ca/~monnier/ - - - - - 12c08fbb by Shon Feder at 2022-03-11T20:42:03-05:00 Ignore the opam switch directory - - - - - f0551384 by Stefan Monnier at 2022-08-27T14:07:24-04:00 Merge branch 'add-zarith-dependency' into 'main' See merge request monnier/typer!2 - - - - - 2 changed files: - .gitignore - opam Changes: ===================================== .gitignore ===================================== @@ -14,6 +14,9 @@ manual.?? *.info + +# opam switch directory +_opam *_build/ # Random backup/autosave files ===================================== opam ===================================== @@ -4,6 +4,12 @@ version: "0.0.0" maintainer: "Stefan Monnier <monnier@iro.umontreal.ca>" authors: "Stefan Monnier <monnier@iro.umontreal.ca>, Pierre Delaunay <pierre.delaunay@hec.ca>" homepage: "https://gitlab.com/monnier/typer" +synopsis: "ML+Scheme+Coq" +description: " +A programming language of the ML family, but inspired by Scheme's minimalism +and syntactic structure and built on top of a pure λ-calculus with +dependent types, similar to Coq's. +" build: [ [make] ] @@ -12,4 +18,5 @@ install: [make "install"] remove: ["ocamlfind" "remove" "typer"] depends: [ "ocamlfind" {build} + "zarith" {<= "1.12"} ] View it on GitLab: https://gitlab.com/monnier/typer/-/compare/471c1ff66c335f727485e4c54e2096f61... -- View it on GitLab: https://gitlab.com/monnier/typer/-/compare/471c1ff66c335f727485e4c54e2096f61... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Stefan (@monnier)