affinescript/dune-project at main · hyperpolymath/affinescript · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
(lang dune 3.14)

(using menhir 3.0)

(name affinescript)

(version 0.1.1)

(generate_opam_files true)

(source
 (github hyperpolymath/affinescript))

(authors "hyperpolymath")

(maintainers "hyperpolymath")

(license "MPL-2.0")

(documentation https://github.com/hyperpolymath/affinescript)

(package
 (name affinescript)
 (synopsis "A programming language with affine types, dependent types, row polymorphism, and extensible effects")
 (description
  "AffineScript combines Rust-style ownership (affine types), compile-time size verification (dependent types), extensible records (row polymorphism), and trackable side effects (extensible effects). It compiles to WebAssembly for efficient, portable execution.")
 (depends
  (ocaml (>= 4.14))
  (dune (>= 3.14))
  (menhir (>= 20231231))
  (sedlex (>= 3.2))
  (ppx_deriving (>= 5.2))
  (ppx_sexp_conv (>= 0.16))
  (sexplib0 (>= 0.16))
  (fmt (>= 0.9))
  (cmdliner (>= 1.2))
  (yojson (>= 2.1))
  (alcotest (and (>= 1.7) :with-test))
  (odoc (and (>= 2.4) :with-doc))
  (js_of_ocaml (>= 5.0))
  (js_of_ocaml-ppx (>= 5.0))
  (ocamlformat (and (>= 0.26) :with-test))
  (bisect_ppx (and (>= 2.8) :with-test)))
 (tags
  (programming-language compiler webassembly affine-types dependent-types row-polymorphism effects ocaml)))