• Joined on 2021-01-01
ericw pushed to master at ericw/CapesNSI2021 2022-02-27 09:33:23 +01:00
f5053c0b20 Ajout Licence
ericw pushed to master at ericw/Lambda_Calcul 2022-02-27 09:31:16 +01:00
8f47a4e8e6 Ajout Licence
ericw pushed to master at ericw/Sudoku 2021-08-17 14:22:17 +02:00
109b3aae35 changement licence
ericw renamed repository from Essai to ericw/Essais 2021-04-09 15:28:48 +02:00
ericw pushed to master at ericw/CapesNSI2021 2021-04-09 14:42:07 +02:00
efabee1a90 Premier commit
ericw created repository ericw/CapesNSI2021 2021-04-09 14:24:03 +02:00
ericw pushed to master at ericw/Lambda_Calcul 2021-02-15 11:37:03 +01:00
bcbe5d3293 rédaction partie lambda-calcul (peut-être) terminée
ericw pushed to master at ericw/Lambda_Calcul 2021-02-11 13:30:16 +01:00
30267226b3 rédaction calepin : reste pouvoir expression + partie avec lamba-expression Python
ericw pushed to master at ericw/Lambda_Calcul 2021-01-31 12:00:45 +01:00
7c957049db refonte de la construction des lambda-termes
ericw pushed to master at ericw/Lambda_Calcul 2021-01-29 17:49:34 +01:00
b4b9bb8b22 ajout exception Lambda_termeError
ericw pushed to master at ericw/Lambda_Calcul 2021-01-29 17:44:02 +01:00
83aa3a1406 creation d'un module lambda_calcul indépendant du calepin
ericw pushed to master at ericw/Lambda_Calcul 2021-01-29 17:17:14 +01:00
fa6b00e715 ajout version MD du calepin
ericw pushed to master at ericw/Lambda_Calcul 2021-01-29 17:15:50 +01:00
97bdb6f954 Mise à jour de 'lambda_calcul.md'
ericw pushed to master at ericw/Lambda_Calcul 2021-01-29 17:14:44 +01:00
f3b21f8e87 ajout version MD du calepin
ericw pushed to master at ericw/Lambda_Calcul 2021-01-29 17:13:49 +01:00
00061e2243 premier dépôt
ericw created repository ericw/Lambda_Calcul 2021-01-29 17:10:12 +01:00
ericw pushed to master at ericw/Sudoku 2021-01-11 10:15:25 +01:00
bebc04a0ab modif gif animé
ericw pushed to master at ericw/Sudoku 2021-01-08 18:25:49 +01:00
5b82fbc8cb coquille dans README + modf main5
ericw pushed to master at ericw/Sudoku 2021-01-08 18:24:02 +01:00
2f5a2cc61d correction bugs + cration GIF animé
ericw pushed to master at ericw/Sudoku 2021-01-08 11:55:24 +01:00
4028ac2440 ajout script main6.py