ericw/Lambda_Calcul
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Commit Graph

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