| Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- Small improvements to lux-mode.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
the front of numbers.
|
|
- Removed some modules that should have been deleted before.
|
|
|
|
|
|
- Merged the functionality of "lux process future" into "lux process schedule".
|
|
- Improved the syntax for "program:" arguments.
|
|
|
|
|
|
|
|
|
|
signed-shift-right -> arithmetic-right-shift.
|
|
|
|
- Changed the value of "unit" in the old LuxC to match the one in new-luxc.
|
|
|
|
compiler, and make it easier to port Lux to new backends.
|
|
redundant, in the presence of the "pow" procedure).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
compiler.
|
|
- Added refinement types.
- Small refactorings and fixes.
- Added the capacity to unquote expressions inside the 'lux.type' macro.
|
|
|
|
- No longer doing ad-hoc I/O in new-luxc.
- Minor fixes and adjustments.
|
|
type-checking in new-luxc.
- Fixed some minor bugs and inconsistencies.
|
|
removed all the (now unnecessary) #hidden tags.
- Fixed a bug when loading the imports from the cache.
- Added special notation for context-sensitive macro-expansion.
|
|
analysing an expression.
|
|
|
|
|
|
period/dot (.).
|