CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-19 16:28:12 +03:00
Code Issues Projects Releases Wiki Activity

Fix authorship

Browse Source
This commit is contained in:
Denis Merigoux 2022-01-11 16:36:38 +01:00
parent 83bdd0b632
commit 006f5f6c2a
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
3 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
CITATION.cff
View File

@ -21,6 +21,15 @@ authors:
- given-names: Emile
family-names: Rolley
affiliation: Université Paris-Diderot
- given-names: Louis
family-names: Gesbert
affiliation: OCamlPro
- given-names: Aymeric
family-names: Fromherz
affiliation: Inria
- given-names: Alain
family-names: Delaët-Tixeuil
affiliation: Inria/ENS Lyon
repository-code: 'https://github.com/CatalaLang/catala'
url: 'https://catala-lang.org/'
abstract: >-

1
build_system/clerk.ml
View File

@ -74,7 +74,6 @@ let info =
("run", "Runs the Catala interpreter on a given scope of a given file. See the `-s` option.");
`S Manpage.s_authors;
`P "Denis Merigoux <denis.merigoux@inria.fr>";
`P "Nicolas Chataing <nicolas.chataing@ens.fr>";
`S Manpage.s_examples;
`P "Typical usage:";
`Pre "clerk test file.catala_en";

4
compiler/utils/cli.ml
View File

@ -121,6 +121,10 @@ let info =
`S Manpage.s_authors;
`P "Denis Merigoux <denis.merigoux@inria.fr>";
`P "Nicolas Chataing <nicolas.chataing@ens.fr>";
`P "Emile Rolley <erolley@tutamail.com>";
`P "Louis Gesbert <louis.gesbert@ocamlpro.com>";
`P "Aymeric Fromherz <aymeric.fromherz@inria.fr>";
`P "Alain Delaët-Tixeuil <alain.delaet--tixeuil@inria.fr>";
`S Manpage.s_examples;
`P "Typical usage:";
`Pre "catala LaTeX file.catala";