mirror of
https://github.com/CatalaLang/catala.git
synced 2024-10-07 09:17:31 +03:00
Renaming and correct autorship
This commit is contained in:
parent
0360568e8e
commit
67f69561c2
@ -32,6 +32,10 @@ authors:
|
||||
affiliation: "INRIA, ENS Lyon"
|
||||
- given-names: Lilya
|
||||
family-names: Slimani
|
||||
- given-name: Justine
|
||||
family-names: Banuls
|
||||
- given-name: Aminata
|
||||
family-names: Boiguillé
|
||||
repository-code: "https://github.com/CatalaLang/catala"
|
||||
url: "https://catala-lang.org/"
|
||||
abstract: >-
|
||||
|
@ -1,3 +1,20 @@
|
||||
(* This file is part of the Catala compiler, a specification language for tax
|
||||
and social benefits computation rules. Copyright (C) 2023 Inria, contributor:
|
||||
Aminata Boiguillé <aminata.boiguille@etu.sorbonne-universite.fr>, Emile
|
||||
Rolley <emile.rolley@tuta.io>
|
||||
|
||||
Licensed under the Apache License, Version 2.0 (the "License"); you may not
|
||||
use this file except in compliance with the License. You may obtain a copy of
|
||||
the License at
|
||||
|
||||
http://www.apache.org/licenses/LICENSE-2.0
|
||||
|
||||
Unless required by applicable law or agreed to in writing, software
|
||||
distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
|
||||
WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
|
||||
License for the specific language governing permissions and limitations under
|
||||
the License. *)
|
||||
|
||||
(* Three-way minimum *)
|
||||
let minimum a b c = min a (min b c)
|
||||
|
Loading…
Reference in New Issue
Block a user