aboutsummaryrefslogtreecommitdiff
path: root/lux-mode/lux-mode.el (follow)
Commit message (Collapse)AuthorAgeFilesLines
* - Implemented ":cast" macro, and used it to implement both ":abstraction" ↵Eduardo Julian2018-07-041-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).
* - Improved syntax for numeric literals by allowing arbitrary zeroes (0) at ↵Eduardo Julian2018-07-031-7/+5
| | | | the front of numbers.
* - Re-named "stream" to "sequence".Eduardo Julian2018-07-031-2/+2
| | | - Updated copyright dates for lux-mode.
* - Re-named "sequence" to "row".Eduardo Julian2018-07-031-1/+1
|
* - Re-named "import" to "import:".Eduardo Julian2018-07-031-1/+1
|
* - Re-named "@abstraction" to ":abstraction" and "@representation" to ↵Eduardo Julian2018-07-031-1/+1
| | | | ":representation".
* - Re-named ":!" to ":coerce".Eduardo Julian2018-07-031-1/+1
|
* - Re-named ":!!" to ":assume".Eduardo Julian2018-07-031-2/+2
|
* - WIP: Migrated synthesis to stdlib.Eduardo Julian2018-05-261-1/+1
|
* - Minor improvements.Eduardo Julian2018-05-231-2/+2
|
* - Re-named ".../eq" modules to ".../equality".Eduardo Julian2018-05-131-4/+0
| | | - Other minor improvements.
* - Implemented Deg(ree) reciprocal & conversions Deg<->Frac.Eduardo Julian2018-05-121-1/+1
| | | - Added an easy way to define aliases.
* - Some minor refactoring.Eduardo Julian2017-12-101-0/+1
| | | - Eliminated the dependency of STM upon FRP.
* - Forgot to remove "~@" syntax from lux-mode.Eduardo Julian2017-12-051-1/+1
|
* - Added context-sensitive macro-expansion by means of "lux in-module", and ↵Eduardo Julian2017-12-021-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.
* - Changed some of the syntax for macro templating.Eduardo Julian2017-12-011-1/+1
| | | - "gensym" now produces Ident instead of Code.
* - Re-named lux/type/opaque to lux/type/abstract.Eduardo Julian2017-11-291-1/+1
|
* - Changed the identifier separator, from the semi-colon (;) to the ↵Eduardo Julian2017-11-291-5/+5
| | | | period/dot (.).
* - Got rid of even more dots.Eduardo Julian2017-11-271-1/+1
|
* - Changed the prefixes of numeric functions.Eduardo Julian2017-11-271-2/+2
|
* - Added "^code" pattern-matching macro for easier handling of code.Eduardo Julian2017-10-301-1/+1
|
* - Re-named "Host" to "Primitive".Eduardo Julian2017-10-201-8/+8
|
* - Implemented an more comfortable alternative to "with-expansions".Eduardo Julian2017-10-191-2/+2
|
* - Added "for" macro to specify platform-dependent code.Eduardo Julian2017-10-171-1/+2
| | | - Some refactoring/re-naming.
* - Some refactoring.Eduardo Julian2017-09-191-4/+2
| | | - Moved "assume" and "default" to lux/data/maybe.
* - Re-named "jvm-import" to "import".Eduardo Julian2017-09-081-2/+2
|
* - Added alternative syntax for Frac numbers, based on traditional ↵Eduardo Julian2017-09-051-1/+4
| | | | ratio/fraction syntax.
* - Renamed "model" to "opaque".Eduardo Julian2017-08-211-1/+1
|
* - Added "on:" syntax for spaces.Eduardo Julian2017-08-031-2/+2
|
* - Added "model:", "unit:" and "scale:" to syntax highlighting.Eduardo Julian2017-07-251-0/+2
|
* - Removed Char support in lux-mode.Eduardo Julian2017-07-221-4/+1
| | | - Removed keyword support for algebraic effects.
* - Lux no longer has a Char primitive data-type.Eduardo Julian2017-07-021-1/+2
|
* - Changed the syntax-highlighting rules.Eduardo Julian2017-06-261-2/+8
|
* - Forgot to commit the change in lux-mode when renaming "test:" to "context:".Eduardo Julian2017-06-211-1/+1
|
* - Renamed ^=> to ^multi.Eduardo Julian2017-05-241-1/+1
|
* - Changed the name of "let%" to "with-expansions".Eduardo Julian2017-05-071-3/+2
|
* - Added <|. to syntax highlights.Eduardo Julian2017-04-301-2/+2
| | | - Fixed an indentation bug for "with-" macros.
* - Renamed "lambda" to "function".Eduardo Julian2017-04-101-3/+3
|
* - Removed assume and with-gensyms from the list of special syntax.Eduardo Julian2017-04-031-3/+2
|
* - Added a macro for pattern-matching using regular-expressions.Eduardo Julian2017-04-011-1/+1
|
* - Implemented finger-trees.Eduardo Julian2017-03-281-1/+1
| | | - Implemented random-access sequences and priority-queues on top of finger-trees.
* - Added "assume" into list of recognized macros.Eduardo Julian2017-02-171-1/+1
|
* - Changed the license from MPL 2.0 to MIT.Eduardo Julian2017-01-261-1/+1
|
* - Renamed lux/data/struct/tree to lux/data/struct/tree/rose.Eduardo Julian2017-01-251-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).
* - Updated the copyright perior in the license.Eduardo Julian2017-01-071-1/+1
|
* - Now, only using underscores (_) as number digit separators, without using ↵Eduardo Julian2016-12-251-3/+3
| | | | commas (,).
* - Bug fixes and refactorings for algebraic effects.Eduardo Julian2016-12-181-1/+1
|
* - Collected the Lux compiler's repo, the Standard Library's, the Leiningen ↵Eduardo Julian2016-12-011-0/+398
plugin's and the Emacs mode's into a big monorepo, to keep development unified.
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 10:30:39 +0000