From c4b0c6c107f2c5ba12f2383fe895d58428ac86b8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rapha=C3=ABl=20Monat?= Date: Fri, 10 Mar 2023 09:21:48 +0100 Subject: [PATCH] Remove stale files --- date.catala_en | 25 ------------------------- date.catala_fr | 32 -------------------------------- 2 files changed, 57 deletions(-) delete mode 100644 date.catala_en delete mode 100644 date.catala_fr diff --git a/date.catala_en b/date.catala_en deleted file mode 100644 index dc53c4ab..00000000 --- a/date.catala_en +++ /dev/null @@ -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 -``` \ No newline at end of file diff --git a/date.catala_fr b/date.catala_fr deleted file mode 100644 index 1c7acd38..00000000 --- a/date.catala_fr +++ /dev/null @@ -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 -``` \ No newline at end of file