package catala
Compiler and library for the literate programming language for tax code specification
Install
Dune Dependency
Authors
Maintainers
Sources
0.10.0.tar.gz
md5=5abd76e8c51a47670645e91b21b57fc5
sha512=9c6fbe50c0b5a60566e877eeddadca0a339e2ce35deb5c1beceb03bc40eb6af2d519313e71859d88645b53fad591d4fa5288c633b185c9d765603da0f5b7dd7b
Description
Catala is a domain-specific language for deriving faithful-by-construction algorithms from legislative texts. See https://catala-lang.org for more information
Published: 13 May 2024
Dependencies (24)
- conf-ninja
-
ninja_utils
= "0.9.0" -
alcotest
>= "1.5.0" -
crunch
>= "3.0.0" -
zarith_stubs_js
>= "v0.14.1" -
zarith
>= "1.12" -
visitors
>= "20200210" -
unionFind
>= "20220109" -
ubase
>= "0.05" -
uutf
>= "1.0.3" -
sedlex
>= "2.4" & < "3.5" -
re
>= "1.10" -
ocamlgraph
>= "1.8.8" -
ocamlfind
!= "1.9.5" -
ocaml
>= "4.14.0" -
menhirLib
>= "20200211" -
menhir
>= "20200211" -
js_of_ocaml-ppx
= "4.1.0" -
dune
>= "3.11" -
dates_calc
>= "0.0.4" -
cppo
>= "1" -
cmdliner
>= "1.1.0" -
bindlib
>= "6.0" -
ocolor
>= "1.3.0"
Dev Dependencies (8)
-
conf-pandoc
with-dev-setup -
conf-diffutils
with-dev-setup -
cpdf
with-dev-setup -
conf-python-3-dev
with-dev-setup -
conf-npm
with-dev-setup -
obelisk
with-dev-setup -
ocamlformat
with-dev-setup & = "0.26.0" -
odoc
with-doc
Used by
None
Conflicts (3)
- ocaml-option-bytecode-only
-
base
>= "v0.16.0" -
z3
< "4.8.11"
On This Page