aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/coercion.mli
Commit message (Expand)AuthorAge
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* Insertion de coercion au milieu des applications partielles et propagation de...Gravatar herbelin2000-11-08
* Nettoyage CoercionGravatar herbelin2000-10-19
* Simplifications autour de typed_type (renommé types par analogie avec sorts)...Gravatar herbelin2000-10-18
* 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
* Afficahge des locationsGravatar herbelin2000-05-31
* Export inh_conv_coerce_to et diversGravatar herbelin2000-03-07
* gros commit de tout ce que j'ai fait pendant les vacances :Gravatar filliatr2000-01-21
* modifs pour premiere edition de liensGravatar filliatr1999-12-02
* mise a jour CoercionGravatar filliatr1999-12-01
* - environment -> safe_environmentGravatar filliatr1999-12-01
* ocamlwebGravatar filliatr1999-11-30
* Modification pour faire compiler pretyping.ml qui maintenant compileGravatar herbelin1999-11-26
* Versions initialesGravatar herbelin1999-11-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-19 12:14:58 +0000