Programming language for literate programming law specification
Go to file
2021-06-01 11:18:44 +02:00
.github/workflows Good module name 2021-05-17 17:46:40 +02:00
doc Pull proof robustness modifications from ICFP21 artefact 2021-05-20 11:21:29 +02:00
examples feat(syntax_highlighting): add the catala_pl.vim file 2021-06-01 10:53:49 +02:00
french_law_js Better HTML generation 2021-05-15 19:50:06 +02:00
src Added scopelang prettyprinter 2021-05-29 14:15:23 +02:00
syntax_highlighting fix(syntax_highlighting): improve floating/money amount mathching in vim syntax files 2021-06-01 11:18:44 +02:00
tests docs(test): update the README.md 2021-05-26 21:57:51 +02:00
.gitattributes git: update the gitattributs in order to manage all catala files 2021-03-09 22:25:30 +01:00
.gitignore Opam file: fix license format 2021-01-04 13:50:33 +01:00
.ocamlformat Weaving to LaTeX 2020-03-07 18:20:04 -08:00
catala.opam Reorganized public libraries 2021-04-22 17:57:27 +02:00
CONTRIBUTING.md lexer 2021-05-09 23:01:38 +02:00
dune Only look into src directory 2020-05-22 19:58:01 +02:00
dune-project Reorganized public libraries 2021-04-22 17:57:27 +02:00
french_law.opam Reorganized public libraries 2021-04-22 17:57:27 +02:00
generate_website_assets.sh polish syntax pygments 2021-05-10 19:05:18 +02:00
INSTALL.md Fix typo 2021-05-22 21:55:41 +01:00
LICENSE.txt Code reorg 2019-09-04 10:32:33 +02:00
Makefile refactor(syntax_highlighting)!: remove the the syntax highlighting for the abbrevitated syntax 2021-05-29 11:21:35 +02:00
README.md Simple procedure to get latest catala 2021-04-13 18:35:04 +02:00

Catala logo

Catala Catala chat CI Opam Licence Tag LoC Language Issues Contributors Activity

Catala is a domain-specific language for deriving faithful-by-construction algorithms from legislative texts. To learn quickly about the language and its features, you can jump right to the official Catala tutorial. You can join the Catala community on Zulip!

Concepts

Catala is a programming language adapted for socio-fiscal legislative literate programming. By annotating each line of the legislative text with its meaning in terms of code, one can derive an implementation of complex socio-fiscal mechanisms that enjoys a high level of assurance regarding the code-law faithfulness.

Concretely, you have to first gather all the laws, executive orders, previous cases, etc. that contain information about the socio-fiscal mechanism that you want to implement. Then, you can proceed to annotate the text article by article, in your favorite text editor :

Screenshot

Once your code is complete and tested, you can use the Catala compiler to produce a lawyer-readable PDF version of your implementation. The Catala language has been specially designed in collaboration with law professionals to ensure that the code can be reviewed and certified correct by the domain experts, which are in this case lawyers and not programmers.

Screenshot

The Catala language is special because its logical structure mimics the logical structure of the law. Indeed, the core concept of "definition-under-conditions" that builds on default logic has been formalized by Professor Sarah Lawsky in her article A Logic for Statutes. The Catala language is the only programming language to our knowledge that embeds default logic as a first-class feature, which is why it is the only language perfectly adapted to literate legislative programming.

Building and installation

Catala is available as an opam package! If opam is installed on your machine, simply execute:

opam install catala

To get the cutting-edge, latest version of Catala, you can also do

opam pin add catala --dev-repo

However, if you wish to get the latest developments of the compiler, you probably want to compile it from the sources of this repository. For that, see the dedicated readme.

Usage

Use catala --help to get more information about the command line options available.

The top-level Makefile contains a lot of useful targets to run. To display them, use

    make help

Examples

See the dedicated readme.

Contributing

See the dedicated readme.

Test suite

See the dedicated readme.

Documentation

Formal semantics

See the dedicated readme.

Compiler documentation

The compiler documentation is auto-generated from its source code using dune and odoc. Use

make doc

to generate the documentation, then open the doc/odoc.html file in any browser. The documentation is also accessible online.

License

The library is released under the Apache license (version 2).

Limitations and disclaimer

Catala is a research project from Inria, the French National Research Institute for Computer Science. The compiler is yet unstable and lacks some of its features.

Pierre Catala

The language is named after Pierre Catala, a professor of law who pionneered the French legaltech by creating a computer database of law cases, Juris-Data. The research group that he led in the late 1960s, the Centre détudes et de traitement de linformation juridique (CETIJ), has also influenced the creation by state conselor Lucien Mehl of the Centre de recherches et développement en informatique juridique (CENIJ), which eventually transformed into the entity managing the LegiFrance website, acting as the public service of legislative documentation.