Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Improved syntax for numeric literals by allowing arbitrary zeroes (0) at ↵ | Eduardo Julian | 2018-07-03 | 1 | -7/+5 |
| | | | | the front of numbers. | ||||
* | - Re-named "stream" to "sequence". | Eduardo Julian | 2018-07-03 | 1 | -2/+2 |
| | | | - Updated copyright dates for lux-mode. | ||||
* | - Re-named "sequence" to "row". | Eduardo Julian | 2018-07-03 | 1 | -1/+1 |
| | |||||
* | - Re-named "import" to "import:". | Eduardo Julian | 2018-07-03 | 1 | -1/+1 |
| | |||||
* | - Re-named "@abstraction" to ":abstraction" and "@representation" to ↵ | Eduardo Julian | 2018-07-03 | 1 | -1/+1 |
| | | | | ":representation". | ||||
* | - Re-named ":!" to ":coerce". | Eduardo Julian | 2018-07-03 | 1 | -1/+1 |
| | |||||
* | - Re-named ":!!" to ":assume". | Eduardo Julian | 2018-07-03 | 1 | -2/+2 |
| | |||||
* | - WIP: Migrated synthesis to stdlib. | Eduardo Julian | 2018-05-26 | 1 | -1/+1 |
| | |||||
* | - Minor improvements. | Eduardo Julian | 2018-05-23 | 1 | -2/+2 |
| | |||||
* | - Re-named ".../eq" modules to ".../equality". | Eduardo Julian | 2018-05-13 | 1 | -4/+0 |
| | | | - Other minor improvements. | ||||
* | - Implemented Deg(ree) reciprocal & conversions Deg<->Frac. | Eduardo Julian | 2018-05-12 | 1 | -1/+1 |
| | | | - Added an easy way to define aliases. | ||||
* | - Some minor refactoring. | Eduardo Julian | 2017-12-10 | 1 | -0/+1 |
| | | | - Eliminated the dependency of STM upon FRP. | ||||
* | - Forgot to remove "~@" syntax from lux-mode. | Eduardo Julian | 2017-12-05 | 1 | -1/+1 |
| | |||||
* | - Added context-sensitive macro-expansion by means of "lux in-module", and ↵ | Eduardo Julian | 2017-12-02 | 1 | -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 Julian | 2017-12-01 | 1 | -1/+1 |
| | | | - "gensym" now produces Ident instead of Code. | ||||
* | - Re-named lux/type/opaque to lux/type/abstract. | Eduardo Julian | 2017-11-29 | 1 | -1/+1 |
| | |||||
* | - Changed the identifier separator, from the semi-colon (;) to the ↵ | Eduardo Julian | 2017-11-29 | 1 | -5/+5 |
| | | | | period/dot (.). | ||||
* | - Got rid of even more dots. | Eduardo Julian | 2017-11-27 | 1 | -1/+1 |
| | |||||
* | - Changed the prefixes of numeric functions. | Eduardo Julian | 2017-11-27 | 1 | -2/+2 |
| | |||||
* | - Added "^code" pattern-matching macro for easier handling of code. | Eduardo Julian | 2017-10-30 | 1 | -1/+1 |
| | |||||
* | - Re-named "Host" to "Primitive". | Eduardo Julian | 2017-10-20 | 1 | -8/+8 |
| | |||||
* | - Implemented an more comfortable alternative to "with-expansions". | Eduardo Julian | 2017-10-19 | 1 | -2/+2 |
| | |||||
* | - Added "for" macro to specify platform-dependent code. | Eduardo Julian | 2017-10-17 | 1 | -1/+2 |
| | | | - Some refactoring/re-naming. | ||||
* | - Some refactoring. | Eduardo Julian | 2017-09-19 | 1 | -4/+2 |
| | | | - Moved "assume" and "default" to lux/data/maybe. | ||||
* | - Re-named "jvm-import" to "import". | Eduardo Julian | 2017-09-08 | 1 | -2/+2 |
| | |||||
* | - Added alternative syntax for Frac numbers, based on traditional ↵ | Eduardo Julian | 2017-09-05 | 1 | -1/+4 |
| | | | | ratio/fraction syntax. | ||||
* | - Renamed "model" to "opaque". | Eduardo Julian | 2017-08-21 | 1 | -1/+1 |
| | |||||
* | - Added "on:" syntax for spaces. | Eduardo Julian | 2017-08-03 | 1 | -2/+2 |
| | |||||
* | - Added "model:", "unit:" and "scale:" to syntax highlighting. | Eduardo Julian | 2017-07-25 | 1 | -0/+2 |
| | |||||
* | - Removed Char support in lux-mode. | Eduardo Julian | 2017-07-22 | 1 | -4/+1 |
| | | | - Removed keyword support for algebraic effects. | ||||
* | - Lux no longer has a Char primitive data-type. | Eduardo Julian | 2017-07-02 | 1 | -1/+2 |
| | |||||
* | - Changed the syntax-highlighting rules. | Eduardo Julian | 2017-06-26 | 1 | -2/+8 |
| | |||||
* | - Forgot to commit the change in lux-mode when renaming "test:" to "context:". | Eduardo Julian | 2017-06-21 | 1 | -1/+1 |
| | |||||
* | - Renamed ^=> to ^multi. | Eduardo Julian | 2017-05-24 | 1 | -1/+1 |
| | |||||
* | - Changed the name of "let%" to "with-expansions". | Eduardo Julian | 2017-05-07 | 1 | -3/+2 |
| | |||||
* | - Added <|. to syntax highlights. | Eduardo Julian | 2017-04-30 | 1 | -2/+2 |
| | | | - Fixed an indentation bug for "with-" macros. | ||||
* | - Renamed "lambda" to "function". | Eduardo Julian | 2017-04-10 | 1 | -3/+3 |
| | |||||
* | - Removed assume and with-gensyms from the list of special syntax. | Eduardo Julian | 2017-04-03 | 1 | -3/+2 |
| | |||||
* | - Added a macro for pattern-matching using regular-expressions. | Eduardo Julian | 2017-04-01 | 1 | -1/+1 |
| | |||||
* | - Implemented finger-trees. | Eduardo Julian | 2017-03-28 | 1 | -1/+1 |
| | | | - Implemented random-access sequences and priority-queues on top of finger-trees. | ||||
* | - Added "assume" into list of recognized macros. | Eduardo Julian | 2017-02-17 | 1 | -1/+1 |
| | |||||
* | - Changed the license from MPL 2.0 to MIT. | Eduardo Julian | 2017-01-26 | 1 | -1/+1 |
| | |||||
* | - Renamed lux/data/struct/tree to lux/data/struct/tree/rose. | Eduardo Julian | 2017-01-25 | 1 | -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 Julian | 2017-01-07 | 1 | -1/+1 |
| | |||||
* | - Now, only using underscores (_) as number digit separators, without using ↵ | Eduardo Julian | 2016-12-25 | 1 | -3/+3 |
| | | | | commas (,). | ||||
* | - Bug fixes and refactorings for algebraic effects. | Eduardo Julian | 2016-12-18 | 1 | -1/+1 |
| | |||||
* | - Collected the Lux compiler's repo, the Standard Library's, the Leiningen ↵ | Eduardo Julian | 2016-12-01 | 1 | -0/+398 |
plugin's and the Emacs mode's into a big monorepo, to keep development unified. |