727 B
727 B
| title | type |
|---|---|
| TS Guide | docs |
Bievenue
L'objectif de ce guide est de vous familiariser avec les derniers travaux de Girard à travers la programmation et des exercices simples.
Le contenu de ce guide n'est que ma propre interprétation et n'est probablement pas parfaitement fidèle au point de vue original de Girard.
Gardez aussi à l'esprit que le développement de la syntaxe transcendantale est actuellement très instable. Ce guide sera donc sujet à de nombreux changements. J'ai crée ce guide car je voulais que d'autres personnes puissent participer à la compréhension et au développement de la syntaxe transcendantale en jouant avec pour développer de nouvelles idées.
Amusez-vous bien !
Boris Eng.