CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-20 00:41:05 +03:00
Code Issues Projects Releases Wiki Activity

Remove stale files

Browse Source
This commit is contained in:
Raphaël Monat 2023-03-10 09:21:48 +01:00
parent 1e0eddfa1f
commit c4b0c6c107
2 changed files with 0 additions and 57 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
date.catala_en
View File

@ -1,25 +0,0 @@
```catala
declaration scope AgeIsLessThan:
input birthday content date
input currentday content date
input years content duration
output r content boolean
scope AgeIsLessThan:
definition r equals birthday + years <= currentday
date round increasing
declaration scope Test:
age scope AgeIsLessThan
internal bday content date
internal today content date
scope Test:
definition bday equals |2000-02-29|
definition today equals |2018-03-01|
definition age.birthday equals bday
definition age.currentday equals today
definition age.years equals 18 year
assertion age.r
# assertion bday + 18 year <= today
```

32
date.catala_fr
View File

@ -1,32 +0,0 @@
```catala
déclaration champ d'application CalculAge:
entrée birthday contenu date
entrée currentday contenu date
entrée années contenu durée
résultat r contenu booléen
champ d'application CalculAge:
définition r égal à birthday + années <= currentday
date arrondi croissant
déclaration champ d'application Test:
age champ d'application CalculAge
age2 champ d'application CalculAge
interne bday contenu date
interne oops contenu date
interne today contenu date
champ d'application Test:
définition bday égal à |2000-02-29|
définition today égal à |2018-03-01|
définition oops égal à |2018-02-28|
définition age.birthday égal à bday
définition age.currentday égal à today
définition age.années égal à 18 an
assertion age.r
définition age2.birthday égal à bday
définition age2.currentday égal à oops
définition age2.années égal à 18 an
assertion non age2.r
# assertion bday + 18 an <= today
```