λJS is factored into two components.
This separation of essentials and details makes λJS a tractable target for tools and theorems.
|Undefined||Throw a TypeError exception|
|Null||Throw a TypeError exception|
|Boolean||Create a new Boolean object whose [[value]] property is set tot he value of the boolean. See 15.6 for a description of Boolean objects.|
Several other groups have built systems with λJS:
This website highlights several of our own projects that use λJS.
λJS consists of several independent tools.