add slimv for lisp repl
Merge branch 'update'