Éric Wegrzynowski
|
8f47a4e8e6
|
Ajout Licence
|
2022-02-27 09:30:45 +01:00 |
|
Éric Wegrzynowski
|
bcbe5d3293
|
rédaction partie lambda-calcul (peut-être) terminée
|
2021-02-15 11:36:54 +01:00 |
|
Éric Wegrzynowski
|
30267226b3
|
rédaction calepin : reste pouvoir expression + partie avec lamba-expression Python
|
2021-02-11 13:30:06 +01:00 |
|
Éric Wegrzynowski
|
7c957049db
|
refonte de la construction des lambda-termes
|
2021-01-31 12:00:32 +01:00 |
|
Éric Wegrzynowski
|
b4b9bb8b22
|
ajout exception Lambda_termeError
|
2021-01-29 17:49:30 +01:00 |
|
Éric Wegrzynowski
|
83aa3a1406
|
creation d'un module lambda_calcul indépendant du calepin
|
2021-01-29 17:43:58 +01:00 |
|
Éric Wegrzynowski
|
fa6b00e715
|
ajout version MD du calepin
|
2021-01-29 17:17:08 +01:00 |
|
|
|
97bdb6f954
|
Mise à jour de 'lambda_calcul.md'
|
2021-01-29 17:15:49 +01:00 |
|
Éric Wegrzynowski
|
f3b21f8e87
|
ajout version MD du calepin
|
2021-01-29 17:14:38 +01:00 |
|
Éric Wegrzynowski
|
00061e2243
|
premier dépôt
|
2021-01-29 17:11:07 +01:00 |
|
