add license descriptions about uCaml and MinCaml
begin merge type.ml of uCaml
import uCaml source files
import parser.mly from uCaml
fix shift/reduce conflicts
fix shift/reduce conflicts
replace 'let' keywords
reimpl definitions syntax
move Location.loc type and the related functions to locating.ml
revert type to record
change signature
add location to Syntax.t
add location to Syntax.def
remove wrap.ml
add location
fix parser and lexer
print position of syntax error
enable typing
change contents of error type
do K-Normalization, alpha conversion, closure conversion