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...