aboutsummaryrefslogtreecommitdiff
path: root/kernel/closure.mli
AgeCommit message (Expand)Author
2001-01-31Mise en place de la possibilite d'unfolder des variables locales et des const...filliatr
2000-12-26DĂ©placement du type stack de Reduction vers Closure et utilisation pour accĂ...herbelin
2000-12-12syntaxe AST Inversion + commentaires ocamlweb autour de $filliatr
2000-11-27Utilisation de Let In pour les constantes locales, prise en compte des Let In...herbelin
2000-11-24Ajout objets END-SECTION pour les nametabs + nettoyage lib/nametabfilliatr
2000-11-21Ajout d'une fonction pour recuperer la liste des constantesdelahaye
2000-11-02suppression des (* open Generic *)filliatr
2000-10-24Bug réduction suite modifs let-inherbelin
2000-10-23La réduction du Let s'appelle maintenant zeta comme dans le lambda-mu-calculherbelin
2000-10-04Touche finale à la réduction du let in dans conv et closureherbelin
2000-09-14Minor correction for Ocamlweb + doc updatecoq
2000-09-14Nouvelle version de frterm; ajout des contextes dans l'enviornnement de rédu...herbelin
2000-09-10Correction pour make docherbelin
2000-09-10Ajout d'un LetIn primitif.herbelin
1999-12-01 - environment -> safe_environmentfilliatr
1999-10-18 - déplacement (encore une fois !) des variables existentielles : elles sontfilliatr
1999-10-08deplacements des var. ex. hors du noyaufilliatr
1999-09-19 - un effort sur la doc (ocamlweb)filliatr
1999-08-26 - abstractionfilliatr
1999-08-19mise en place programmation literaire (generation de doc/coq.tex)filliatr
1999-08-18module Reduction (debut)filliatr
1999-08-17module Closurefilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 07:54:08 +0000