aboutsummaryrefslogtreecommitdiff
path: root/lux-mode/lux-mode.el (unfollow)
Commit message (Collapse)AuthorFilesLines
2018-07-10- Re-named "sig:" to "signature:".Eduardo Julian1-1/+1
2018-07-09- Fixes: Part 1.Eduardo Julian1-1/+1
2018-07-09- Fixes: Part 0.Eduardo Julian1-1/+1
2018-07-07- Implemented ":share" macro for easier type-sharing when casting.Eduardo Julian1-1/+1
2018-07-04- Removed "alias:" due to the potential for introducing confusion due to ↵Eduardo Julian1-1/+1
having multiple names for the same definitions.
2018-07-04- Re-named "degree" to "revolution".Eduardo Julian1-1/+1
2018-07-04- Implemented ":cast" macro, and used it to implement both ":abstraction" ↵Eduardo Julian1-2/+2
and ":representation". - Fix: You shouldn't be able to resolve tags if you haven't imported a module (even if they are exported).
2018-07-03- Improved syntax for numeric literals by allowing arbitrary zeroes (0) at ↵Eduardo Julian1-7/+5
the front of numbers.
2018-07-03- Re-named "stream" to "sequence".Eduardo Julian1-2/+2
- Updated copyright dates for lux-mode.
2018-07-03- Re-named "sequence" to "row".Eduardo Julian1-1/+1
2018-07-03- Re-named "import" to "import:".Eduardo Julian1-1/+1
2018-07-03- Re-named "@abstraction" to ":abstraction" and "@representation" to ↵Eduardo Julian1-1/+1
":representation".
2018-07-03- Re-named ":!" to ":coerce".Eduardo Julian1-1/+1
2018-07-03- Re-named ":!!" to ":assume".Eduardo Julian1-2/+2
2018-05-26- WIP: Migrated synthesis to stdlib.Eduardo Julian1-1/+1
2018-05-23- Minor improvements.Eduardo Julian1-2/+2
2018-05-13- Re-named ".../eq" modules to ".../equality".Eduardo Julian1-4/+0
- Other minor improvements.
2018-05-12- Implemented Deg(ree) reciprocal & conversions Deg<->Frac.Eduardo Julian1-1/+1
- Added an easy way to define aliases.
2017-12-10- Some minor refactoring.Eduardo Julian1-0/+1
- Eliminated the dependency of STM upon FRP.
2017-12-05- Forgot to remove "~@" syntax from lux-mode.Eduardo Julian1-1/+1
2017-12-02- Added context-sensitive macro-expansion by means of "lux in-module", and ↵Eduardo Julian1-1/+1
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.
2017-12-01- Changed some of the syntax for macro templating.Eduardo Julian1-1/+1
- "gensym" now produces Ident instead of Code.
2017-11-29- Re-named lux/type/opaque to lux/type/abstract.Eduardo Julian1-1/+1
2017-11-29- Changed the identifier separator, from the semi-colon (;) to the ↵Eduardo Julian1-5/+5
period/dot (.).
2017-11-27- Got rid of even more dots.Eduardo Julian1-1/+1
2017-11-27- Changed the prefixes of numeric functions.Eduardo Julian1-2/+2
2017-10-30- Added "^code" pattern-matching macro for easier handling of code.Eduardo Julian1-1/+1
2017-10-20- Re-named "Host" to "Primitive".Eduardo Julian1-8/+8
2017-10-19- Implemented an more comfortable alternative to "with-expansions".Eduardo Julian1-2/+2
2017-10-17- Added "for" macro to specify platform-dependent code.Eduardo Julian1-1/+2
- Some refactoring/re-naming.
2017-09-19- Some refactoring.Eduardo Julian1-4/+2
- Moved "assume" and "default" to lux/data/maybe.
2017-09-08- Re-named "jvm-import" to "import".Eduardo Julian1-2/+2
2017-09-05- Added alternative syntax for Frac numbers, based on traditional ↵Eduardo Julian1-1/+4
ratio/fraction syntax.
2017-08-21- Renamed "model" to "opaque".Eduardo Julian1-1/+1
2017-08-03- Added "on:" syntax for spaces.Eduardo Julian1-2/+2
2017-07-25- Added "model:", "unit:" and "scale:" to syntax highlighting.Eduardo Julian1-0/+2
2017-07-22- Removed Char support in lux-mode.Eduardo Julian1-4/+1
- Removed keyword support for algebraic effects.
2017-07-02- Lux no longer has a Char primitive data-type.Eduardo Julian1-1/+2
2017-06-26- Changed the syntax-highlighting rules.Eduardo Julian1-2/+8
2017-06-21- Forgot to commit the change in lux-mode when renaming "test:" to "context:".Eduardo Julian1-1/+1
2017-05-24- Renamed ^=> to ^multi.Eduardo Julian1-1/+1
2017-05-07- Changed the name of "let%" to "with-expansions".Eduardo Julian1-3/+2
2017-04-30- Added <|. to syntax highlights.Eduardo Julian1-2/+2
- Fixed an indentation bug for "with-" macros.
2017-04-10- Renamed "lambda" to "function".Eduardo Julian1-3/+3
2017-04-03- Removed assume and with-gensyms from the list of special syntax.Eduardo Julian1-3/+2
2017-04-01- Added a macro for pattern-matching using regular-expressions.Eduardo Julian1-1/+1
2017-03-28- Implemented finger-trees.Eduardo Julian1-1/+1
- Implemented random-access sequences and priority-queues on top of finger-trees.
2017-02-17- Added "assume" into list of recognized macros.Eduardo Julian1-1/+1
2017-01-26- Changed the license from MPL 2.0 to MIT.Eduardo Julian1-1/+1
2017-01-25- Renamed lux/data/struct/tree to lux/data/struct/tree/rose.Eduardo Julian1-1/+1
- Moved lux/data/struct/zipper to lux/data/struct/tree/zipper. - Moved lux/regex to lux/lexer/regex. - Changed the suffix of annotation tags, from M to A. - Renamed Frac(tional) numbers to Deg(rees).