blob: a7996b373b0d865e346303aeb22e4f21d735d654 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
o Himsg
en faire un foncteur qui prend en arguments des fonctions
sachant afficher les termes, et retournant des fonctions
expliquant les messages d'erreur (de typage, d'inductifs, de
convertibilit�), retournant des std_ppcmds.
o Lexer
� compl�ter
o Toplevel
- boucle principale, affichage des erreur, du prompt
- parsing de la ligne de commande (Arg ?)
|
