K7PL
K7PL
Table of Contents
1.
PROLÉGOMÈNE
2.
FONDEMENTS CATÉGORIQUES
3.
THÉORIE DES TYPES
4.
THÉORIE DES AUTOMATES
5.
SYNTAXE ET MISE EN PRATIQUE
6.
COMPILATION ET VÉRIFICATION
7.
INTÉGRATION PRATIQUE ET CAS D'USAGE
8.
REFERENCES DU DOCUMENT
A. CODES D'ERREUR
B. SPECIFICATION LSP & REPL
C. SUSHI - The K7PL's (fake)Shell
D. SUGOI
1.
PROLÉGOMÈNE
1.1.
Introduction
1.2.
Guide de lecture
1.3.
Postulats
1.4.
Axiomatique germinale
1.5.
Table normative des symboles
1.6.
Table des glyphes
Source Code
Report Issues
←
K7PL
1.1. Introduction
→
1. PROLÉGOMÈNE
🔗
1.1.
Introduction
1.2.
Guide de lecture
1.3.
Postulats
1.4.
Axiomatique germinale
1.5.
Table normative des symboles
1.6.
Table des glyphes
←
K7PL
1.1. Introduction
→