.gitignore
type prity print
minor fix
prety print for Syntax.t
minor fix
fix indent of let
pretty print for kNormal
Merge branch 'tmp' into wtr816
hand merge from CoreWe3
implement Lsl & Lsr for x86
position inheritance to KNormal.t
delete div/mul
attach Closure.t to range
edit .gitignore
edit virtual.ml
moved pp_t
print range in .s
bug fix
samples
deleted some files