aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/closure.mli
Commit message (Expand)AuthorAge
* nouvelle implantation de la reductionGravatar barras2001-03-01
* Mise en place de la possibilite d'unfolder des variables locales et des const...Gravatar filliatr2001-01-31
* DĂ©placement du type stack de Reduction vers Closure et utilisation pour accĂ...Gravatar herbelin2000-12-26
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* Utilisation de Let In pour les constantes locales, prise en compte des Let In...Gravatar herbelin2000-11-27
* Ajout objets END-SECTION pour les nametabs + nettoyage lib/nametabGravatar filliatr2000-11-24
* Ajout d'une fonction pour recuperer la liste des constantesGravatar delahaye2000-11-21
* suppression des (* open Generic *)Gravatar filliatr2000-11-02
* Bug réduction suite modifs let-inGravatar herbelin2000-10-24
* La réduction du Let s'appelle maintenant zeta comme dans le lambda-mu-calculGravatar herbelin2000-10-23
* Touche finale à la réduction du let in dans conv et closureGravatar herbelin2000-10-04
* Minor correction for Ocamlweb + doc updateGravatar coq2000-09-14
* Nouvelle version de frterm; ajout des contextes dans l'enviornnement de rédu...Gravatar herbelin2000-09-14
* Correction pour make docGravatar herbelin2000-09-10
* Ajout d'un LetIn primitif.Gravatar herbelin2000-09-10
* - environment -> safe_environmentGravatar filliatr1999-12-01
* - déplacement (encore une fois !) des variables existentielles : elles sontGravatar filliatr1999-10-18
* deplacements des var. ex. hors du noyauGravatar filliatr1999-10-08
* - un effort sur la doc (ocamlweb)Gravatar filliatr1999-09-19
* - abstractionGravatar filliatr1999-08-26
* mise en place programmation literaire (generation de doc/coq.tex)Gravatar filliatr1999-08-19
* module Reduction (debut)Gravatar filliatr1999-08-18
* module ClosureGravatar filliatr1999-08-17