aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/cases.mli
Commit message (Expand)AuthorAge
* amelioration des messages d'erreurs vis a vis des evarsGravatar barras2001-05-23
* Mise en place d'un test de clauses non utiliseesGravatar herbelin2001-04-13
* entetesGravatar filliatr2001-03-15
* Avancée vers la prise compte des alias dépendants; prise en compte des clau...Gravatar herbelin2001-03-11
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* Séparation des contraintes de type et de valeur dans pretypingGravatar herbelin2000-06-29
* Bugs et simplifications coercionsGravatar herbelin2000-06-02
* Mise en place d'un choix constr/typed_type en remplacement de certains CastGravatar herbelin2000-06-01
* Effets de bords suite à la restructuration des inductives (cf Inductive)Gravatar herbelin2000-05-18
* renommage ancien pattern en cases_patternGravatar herbelin2000-04-26
* Un nouveau moteur pour Cases (phase 1)Gravatar herbelin2000-03-08
* Correction pbs liés aux evarGravatar herbelin2000-01-07
* Intégration initiale du CasesGravatar herbelin1999-12-11
* Renommage de multcase en casesGravatar herbelin1999-12-01