Typi

Application Web de typage d’un mini-ML fonctionnel et impératif. (Juste un typeur lamdba...)

Name		Name	Last commit message	Last commit date
Latest commit History 21 Commits
Presentation		Presentation
Rapport		Rapport
samples		samples
typi_web		typi_web
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
alex.mll		alex.mll
asyn.mly		asyn.mly
env_typeur.ml		env_typeur.ml
history.ml		history.ml
jstool.ml		jstool.ml
main_js.ml		main_js.ml
projet.ocp		projet.ocp
types.ml		types.ml
typeur.ml		typeur.ml
util.ml		util.ml

Provide feedback