diff options
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -8,6 +8,9 @@ - Correction de bugs (quand le type ne commence pas par un inductif) - Simpl ne déplie plus les appels récursifs d'un Fix mutuel réduit + Il réduit un peu plus aussi (source d'incompatibilité). + +- Davantage d'inférence automatique de "?". - Les cas des Cases ne se lisent plus de manière séquentielle, sauf en cas de clauses par défaut redondantes auquel cas la première est prise @@ -30,4 +33,4 @@ l'ast, il faut typer explicitement la grammaire avec Ast ou List - Ajout d'un Let primitif -- Ajout (officiel) d'une tactique LetTac et d'un Induction "convivial"
\ No newline at end of file +- Ajout (officiel) d'une tactique LetTac et d'un Induction "convivial" |