| Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ No more "m/"-prefixed functions.
|
|
|
|
|
|
* Re-named "Program" to "Instruction".
|
|
|
|
|
|
|
|
idea in the first place).
|
|
|
|
|
|
|
|
|
|
It needs to be re-designed with a multi-platform focus in mind.
|
|
|
|
|
|
|
|
|
|
+ Small optimizations for pattern-matching generation.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
"_jvm_this".
|
|
- Generalized "Safety" and "Privacy" as instances of "Policy".
|
|
|
|
|
|
|
|
|
|
|
|
|