dune-project 1.03 KB
Newer Older
Kim Nguyễn's avatar
Kim Nguyễn committed
1
(lang dune 2.3)
2

3
(name cduce)
4

Kim Nguyễn's avatar
Kim Nguyễn committed
5
(version 0.7.0-rc8)
6

7
(source
Kim Nguyễn's avatar
Kim Nguyễn committed
8
 (uri "git+https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/"))
9

10
(license MIT)
11

12
13
(authors "Alain Frisch")

14
(maintainers "Kim Nguyen")
15

Kim Nguyễn's avatar
Kim Nguyễn committed
16
17
18
19
20
(homepage "https://www.cduce.org")

(bug_reports
 "https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/-/issues")

Kim Nguyễn's avatar
Kim Nguyễn committed
21
(generate_opam_files true)
22
23
24

(using menhir 2.0)

25
26
(package
 (name cduce-types)
27
 (synopsis "CDuce type library")
28
29
 (description
  "This library implements set-theoretic types with\n semantic subtyping. It is at the heart of the CDuce compiler, but\n can also be reused as a stand-alone library to experiment with\n semantic subtyping."))
30

31
(package
32
33
 (name cduce)
 (synopsis "The CDuce compiler")
34
35
 (description
  "CDuce is a functional, impure, staticaly typed\n programming language. It features a OCaml-like syntax with built-in constructs for\n extensible records, overloaded functions and XML document and document types.\n Its type system is based on semantic subtyping and features regular expresison\n types.")
36
 (depends cduce-types))