j
k
j a
j l
The `check` function in typecheck.ml is now "complete enough to be testable". It's still untested, tho.
Stefan
Afficher les réponses par date
typer@iro.umontreal.ca
Ajouter aux marque-pages Supprimer des marque-pages