Opam Package catala.0.3.0

Package documentation pages

pages: doc/catala/odoc-pages/dcalc.mld doc/catala/odoc-pages/desugared.mld doc/catala/odoc-pages/index.mld doc/catala/odoc-pages/literate.mld doc/catala/odoc-pages/scopelang.mld doc/catala/odoc-pages/surface.mld doc/catala/odoc-pages/utils.mld

Package info

opam-namecatala
opam-version0.3.0
synopsisLow-level language for tax code specification
description The Catala language is designed to be a low-level target for higher-level specification languages for fiscal legislation.
authors
  • Denis Merigoux
homepagehttps://github.com/CatalaLang/catala
licenseApache-2.0
readme-fileREADME.md
odoc-filedoc/catala/odoc-pages/dcalc.mld
odoc-filedoc/catala/odoc-pages/desugared.mld
odoc-filedoc/catala/odoc-pages/index.mld
odoc-filedoc/catala/odoc-pages/literate.mld
odoc-filedoc/catala/odoc-pages/scopelang.mld
odoc-filedoc/catala/odoc-pages/surface.mld
odoc-filedoc/catala/odoc-pages/utils.mld
deps (18)
revdeps(0)
metas (10)
libraries (10)

Package modules

Package sources

catala

Package files

lib/catala/utils/utils__Uid.cmx
lib/catala/utils/utils__Uid.cmti
lib/catala/utils/utils__Uid.cmt
lib/catala/utils/utils__Uid.cmi
lib/catala/utils/utils__Pos.cmx
lib/catala/utils/utils__Pos.cmti
lib/catala/utils/utils__Pos.cmt
lib/catala/utils/utils__Pos.cmi
lib/catala/utils/utils__Errors.cmx
lib/catala/utils/utils__Errors.cmti
lib/catala/utils/utils__Errors.cmt
lib/catala/utils/utils__Errors.cmi
lib/catala/utils/utils__Cli.cmx
lib/catala/utils/utils__Cli.cmti
lib/catala/utils/utils__Cli.cmt
lib/catala/utils/utils__Cli.cmi
lib/catala/utils/utils.ml
lib/catala/utils/utils.cmxs
lib/catala/utils/utils.cmxa
lib/catala/utils/utils.cmx
lib/catala/utils/utils.cmt
lib/catala/utils/utils.cmi
lib/catala/utils/utils.cma
lib/catala/utils/utils.a
lib/catala/utils/uid.mli
lib/catala/utils/uid.ml
lib/catala/utils/pos.mli
lib/catala/utils/pos.ml
lib/catala/utils/errors.mli
lib/catala/utils/errors.ml
lib/catala/utils/cli.mli
lib/catala/utils/cli.ml
lib/catala/utils
lib/catala/surface/surface__Print.cmx
lib/catala/surface/surface__Print.cmti
lib/catala/surface/surface__Print.cmt
lib/catala/surface/surface__Print.cmi
lib/catala/surface/surface__Parser_errors.cmx
lib/catala/surface/surface__Parser_errors.cmti
lib/catala/surface/surface__Parser_errors.cmt
lib/catala/surface/surface__Parser_errors.cmi
lib/catala/surface/surface__Parser_driver.cmx
lib/catala/surface/surface__Parser_driver.cmti
lib/catala/surface/surface__Parser_driver.cmt
lib/catala/surface/surface__Parser_driver.cmi
lib/catala/surface/surface__Parser.cmx
lib/catala/surface/surface__Parser.cmti
lib/catala/surface/surface__Parser.cmt
lib/catala/surface/surface__Parser.cmi
lib/catala/surface/surface__Parse_utils.cmx
lib/catala/surface/surface__Parse_utils.cmti
lib/catala/surface/surface__Parse_utils.cmt
lib/catala/surface/surface__Parse_utils.cmi
lib/catala/surface/surface__Name_resolution.cmx
lib/catala/surface/surface__Name_resolution.cmti
lib/catala/surface/surface__Name_resolution.cmt
lib/catala/surface/surface__Name_resolution.cmi
lib/catala/surface/surface__Lexer_fr.cmx
lib/catala/surface/surface__Lexer_fr.cmti
lib/catala/surface/surface__Lexer_fr.cmt
lib/catala/surface/surface__Lexer_fr.cmi
lib/catala/surface/surface__Lexer_en.cmx
lib/catala/surface/surface__Lexer_en.cmti
lib/catala/surface/surface__Lexer_en.cmt
lib/catala/surface/surface__Lexer_en.cmi
lib/catala/surface/surface__Lexer_common.cmx
lib/catala/surface/surface__Lexer_common.cmti
lib/catala/surface/surface__Lexer_common.cmt
lib/catala/surface/surface__Lexer_common.cmi
lib/catala/surface/surface__Lexer.cmx
lib/catala/surface/surface__Lexer.cmti
lib/catala/surface/surface__Lexer.cmt
lib/catala/surface/surface__Lexer.cmi
lib/catala/surface/surface__Fill_positions.cmx
lib/catala/surface/surface__Fill_positions.cmti
lib/catala/surface/surface__Fill_positions.cmt
lib/catala/surface/surface__Fill_positions.cmi
lib/catala/surface/surface__Desugaring.cmx
lib/catala/surface/surface__Desugaring.cmti
lib/catala/surface/surface__Desugaring.cmt
lib/catala/surface/surface__Desugaring.cmi
lib/catala/surface/surface__Ast.cmx
lib/catala/surface/surface__Ast.cmti
lib/catala/surface/surface__Ast.cmt
lib/catala/surface/surface__Ast.cmi
lib/catala/surface/surface.ml
lib/catala/surface/surface.cmxs
lib/catala/surface/surface.cmxa
lib/catala/surface/surface.cmx
lib/catala/surface/surface.cmt
lib/catala/surface/surface.cmi
lib/catala/surface/surface.cma
lib/catala/surface/surface.a
lib/catala/surface/print.mli
lib/catala/surface/print.ml
lib/catala/surface/parser_errors.mli
lib/catala/surface/parser_errors.ml
lib/catala/surface/parser_driver.mli
lib/catala/surface/parser_driver.ml
lib/catala/surface/parser.mli
lib/catala/surface/parser.ml
lib/catala/surface/parse_utils.mli
lib/catala/surface/parse_utils.ml
lib/catala/surface/name_resolution.mli
lib/catala/surface/name_resolution.ml
lib/catala/surface/lexer_fr.mli
lib/catala/surface/lexer_fr.ml
lib/catala/surface/lexer_en.mli
lib/catala/surface/lexer_en.ml
lib/catala/surface/lexer_common.mli
lib/catala/surface/lexer_common.ml
lib/catala/surface/lexer.mli
lib/catala/surface/lexer.ml
lib/catala/surface/fill_positions.mli
lib/catala/surface/fill_positions.ml
lib/catala/surface/desugaring.mli
lib/catala/surface/desugaring.ml
lib/catala/surface/ast.mli
lib/catala/surface/ast.ml
lib/catala/surface
lib/catala/scopelang/scopelang__Scope_to_dcalc.cmx
lib/catala/scopelang/scopelang__Scope_to_dcalc.cmti
lib/catala/scopelang/scopelang__Scope_to_dcalc.cmt
lib/catala/scopelang/scopelang__Scope_to_dcalc.cmi
lib/catala/scopelang/scopelang__Print.cmx
lib/catala/scopelang/scopelang__Print.cmti
lib/catala/scopelang/scopelang__Print.cmt
lib/catala/scopelang/scopelang__Print.cmi
lib/catala/scopelang/scopelang__Dependency.cmx
lib/catala/scopelang/scopelang__Dependency.cmti
lib/catala/scopelang/scopelang__Dependency.cmt
lib/catala/scopelang/scopelang__Dependency.cmi
lib/catala/scopelang/scopelang__Ast.cmx
lib/catala/scopelang/scopelang__Ast.cmti
lib/catala/scopelang/scopelang__Ast.cmt
lib/catala/scopelang/scopelang__Ast.cmi
lib/catala/scopelang/scopelang.ml
lib/catala/scopelang/scopelang.cmxs
lib/catala/scopelang/scopelang.cmxa
lib/catala/scopelang/scopelang.cmx
lib/catala/scopelang/scopelang.cmt
lib/catala/scopelang/scopelang.cmi
lib/catala/scopelang/scopelang.cma
lib/catala/scopelang/scopelang.a
lib/catala/scopelang/scope_to_dcalc.mli
lib/catala/scopelang/scope_to_dcalc.ml
lib/catala/scopelang/print.mli
lib/catala/scopelang/print.ml
lib/catala/scopelang/dependency.mli
lib/catala/scopelang/dependency.ml
lib/catala/scopelang/ast.mli
lib/catala/scopelang/ast.ml
lib/catala/scopelang
lib/catala/runtime/runtime.mli
lib/catala/runtime/runtime.ml
lib/catala/runtime/runtime.cmxs
lib/catala/runtime/runtime.cmxa
lib/catala/runtime/runtime.cmx
lib/catala/runtime/runtime.cmti
lib/catala/runtime/runtime.cmt
lib/catala/runtime/runtime.cmi
lib/catala/runtime/runtime.cma
lib/catala/runtime/runtime.a
lib/catala/runtime
lib/catala/opam
lib/catala/literate/literate__Latex.cmx
lib/catala/literate/literate__Latex.cmti
lib/catala/literate/literate__Latex.cmt
lib/catala/literate/literate__Latex.cmi
lib/catala/literate/literate__Html.cmx
lib/catala/literate/literate__Html.cmti
lib/catala/literate/literate__Html.cmt
lib/catala/literate/literate__Html.cmi
lib/catala/literate/literate.ml
lib/catala/literate/literate.cmxs
lib/catala/literate/literate.cmxa
lib/catala/literate/literate.cmx
lib/catala/literate/literate.cmt
lib/catala/literate/literate.cmi
lib/catala/literate/literate.cma
lib/catala/literate/literate.a
lib/catala/literate/latex.mli
lib/catala/literate/latex.ml
lib/catala/literate/html.mli
lib/catala/literate/html.ml
lib/catala/literate
lib/catala/lcalc/to_ocaml.mli
lib/catala/lcalc/to_ocaml.ml
lib/catala/lcalc/lcalc__To_ocaml.cmx
lib/catala/lcalc/lcalc__To_ocaml.cmti
lib/catala/lcalc/lcalc__To_ocaml.cmt
lib/catala/lcalc/lcalc__To_ocaml.cmi
lib/catala/lcalc/lcalc__Compile_with_exceptions.cmx
lib/catala/lcalc/lcalc__Compile_with_exceptions.cmti
lib/catala/lcalc/lcalc__Compile_with_exceptions.cmt
lib/catala/lcalc/lcalc__Compile_with_exceptions.cmi
lib/catala/lcalc/lcalc__Ast.cmx
lib/catala/lcalc/lcalc__Ast.cmti
lib/catala/lcalc/lcalc__Ast.cmt
lib/catala/lcalc/lcalc__Ast.cmi
lib/catala/lcalc/lcalc.ml
lib/catala/lcalc/lcalc.cmxs
lib/catala/lcalc/lcalc.cmxa
lib/catala/lcalc/lcalc.cmx
lib/catala/lcalc/lcalc.cmt
lib/catala/lcalc/lcalc.cmi
lib/catala/lcalc/lcalc.cma
lib/catala/lcalc/lcalc.a
lib/catala/lcalc/compile_with_exceptions.mli
lib/catala/lcalc/compile_with_exceptions.ml
lib/catala/lcalc/ast.mli
lib/catala/lcalc/ast.ml
lib/catala/lcalc
lib/catala/law_source/law_source__Allocations_familiales.cmx
lib/catala/law_source/law_source__Allocations_familiales.cmti
lib/catala/law_source/law_source__Allocations_familiales.cmt
lib/catala/law_source/law_source__Allocations_familiales.cmi
lib/catala/law_source/law_source.ml
lib/catala/law_source/law_source.cmxs
lib/catala/law_source/law_source.cmxa
lib/catala/law_source/law_source.cmx
lib/catala/law_source/law_source.cmt
lib/catala/law_source/law_source.cmi
lib/catala/law_source/law_source.cma
lib/catala/law_source/law_source.a
lib/catala/law_source/allocations_familiales.mli
lib/catala/law_source/allocations_familiales.ml
lib/catala/law_source
lib/catala/dune-package
lib/catala/driver.ml
lib/catala/desugared/desugared_to_scope.mli
lib/catala/desugared/desugared_to_scope.ml
lib/catala/desugared/desugared__Desugared_to_scope.cmx
lib/catala/desugared/desugared__Desugared_to_scope.cmti
lib/catala/desugared/desugared__Desugared_to_scope.cmt
lib/catala/desugared/desugared__Desugared_to_scope.cmi
lib/catala/desugared/desugared__Dependency.cmx
lib/catala/desugared/desugared__Dependency.cmti
lib/catala/desugared/desugared__Dependency.cmt
lib/catala/desugared/desugared__Dependency.cmi
lib/catala/desugared/desugared__Ast.cmx
lib/catala/desugared/desugared__Ast.cmti
lib/catala/desugared/desugared__Ast.cmt
lib/catala/desugared/desugared__Ast.cmi
lib/catala/desugared/desugared.ml
lib/catala/desugared/desugared.cmxs
lib/catala/desugared/desugared.cmxa
lib/catala/desugared/desugared.cmx
lib/catala/desugared/desugared.cmt
lib/catala/desugared/desugared.cmi
lib/catala/desugared/desugared.cma
lib/catala/desugared/desugared.a
lib/catala/desugared/dependency.mli
lib/catala/desugared/dependency.ml
lib/catala/desugared/ast.mli
lib/catala/desugared/ast.ml
lib/catala/desugared
lib/catala/dcalc/typing.mli
lib/catala/dcalc/typing.ml
lib/catala/dcalc/print.mli
lib/catala/dcalc/print.ml
lib/catala/dcalc/interpreter.mli
lib/catala/dcalc/interpreter.ml
lib/catala/dcalc/dcalc__Typing.cmx
lib/catala/dcalc/dcalc__Typing.cmti
lib/catala/dcalc/dcalc__Typing.cmt
lib/catala/dcalc/dcalc__Typing.cmi
lib/catala/dcalc/dcalc__Print.cmx
lib/catala/dcalc/dcalc__Print.cmti
lib/catala/dcalc/dcalc__Print.cmt
lib/catala/dcalc/dcalc__Print.cmi
lib/catala/dcalc/dcalc__Interpreter.cmx
lib/catala/dcalc/dcalc__Interpreter.cmti
lib/catala/dcalc/dcalc__Interpreter.cmt
lib/catala/dcalc/dcalc__Interpreter.cmi
lib/catala/dcalc/dcalc__Ast.cmx
lib/catala/dcalc/dcalc__Ast.cmti
lib/catala/dcalc/dcalc__Ast.cmt
lib/catala/dcalc/dcalc__Ast.cmi
lib/catala/dcalc/dcalc.ml
lib/catala/dcalc/dcalc.cmxs
lib/catala/dcalc/dcalc.cmxa
lib/catala/dcalc/dcalc.cmx
lib/catala/dcalc/dcalc.cmt
lib/catala/dcalc/dcalc.cmi
lib/catala/dcalc/dcalc.cma
lib/catala/dcalc/dcalc.a
lib/catala/dcalc/ast.mli
lib/catala/dcalc/ast.ml
lib/catala/dcalc
lib/catala/catala__Driver.cmx
lib/catala/catala__Driver.cmt
lib/catala/catala__Driver.cmi
lib/catala/catala.ml
lib/catala/catala.cmxs
lib/catala/catala.cmxa
lib/catala/catala.cmx
lib/catala/catala.cmt
lib/catala/catala.cmi
lib/catala/catala.cma
lib/catala/catala.a
lib/catala/META
lib/catala
doc/catala/odoc-pages/utils.mld
doc/catala/odoc-pages/surface.mld
doc/catala/odoc-pages/scopelang.mld
doc/catala/odoc-pages/literate.mld
doc/catala/odoc-pages/index.mld
doc/catala/odoc-pages/desugared.mld
doc/catala/odoc-pages/dcalc.mld
doc/catala/odoc-pages
doc/catala/README.md
doc/catala/LICENSE.txt
doc/catala
bin/catala_web
bin/catala