The goal of this language is to include all the things I like and to build them axiomatically. The core language has:
- it's a lisp, so it has s-exprs
- fexprs, with vau, wrap, and unwrap
- lexical scope; expressions can mutate immediate lexical environment under TBD conditions
- no shared state
- primitive integer, floating point, boolean, and unicode types