added strings
treebf45f2694c8d51da8373fd8c14152e738d4a950a
-rw-r--r-- 472 .depend
-rw-r--r-- 110 .depend.input
-rw-r--r-- 18 .gitignore
-rw-r--r-- 6240 Makefile
-rwxr-xr-x 366 back.sh
-rw-r--r-- 927 environment.ml
-rw-r--r-- 4303 evaluator.ml
-rw-r--r-- 163 evaluator.mli
-rw-r--r-- 165 front.ml
-rwxr-xr-x 119 front.sh
-rw-r--r-- 11398 lexer.ml
-rw-r--r-- 1439 lexer.mll
-rw-r--r-- 797 main.ml
-rw-r--r-- 9832 parser.ml
-rw-r--r-- 225 parser.mli
-rw-r--r-- 1013 parser.mly
-rw-r--r-- 8505 rops.ml
-rw-r--r-- 585 types.ml
-rw-r--r-- 938 types.mli