| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2018-07-21 | Re-named "name-for" to "name-of". | Eduardo Julian | 1 | -1/+1 | |
| 2018-07-21 | Re-named "Symbol" to "Identifier". | Eduardo Julian | 1 | -7/+6 | |
| 2018-07-21 | Improved syntax-highlighting for Lux. | Eduardo Julian | 1 | -37/+75 | |
| 2018-07-21 | Re-named "Ident" to "Name". | Eduardo Julian | 1 | -1/+1 | |
| 2018-07-18 | Improvements to lux-mode. | Eduardo Julian | 1 | -66/+65 | |
| 2018-07-14 | - New syntax for bit values: "#0" and "#1", instead of "false" and "true". | Eduardo Julian | 1 | -58/+69 | |
| - Small improvements to lux-mode. | |||||
| 2018-07-13 | Re-named "Bool" type to "Bit". | Eduardo Julian | 1 | -1/+1 | |
| 2018-07-11 | - Re-named "type-of" to ":of". | Eduardo Julian | 1 | -1/+1 | |
| 2018-07-10 | - Re-named "struct:" to "structure:". | Eduardo Julian | 1 | -2/+2 | |
| 2018-07-10 | - Re-named "sig:" to "signature:". | Eduardo Julian | 1 | -1/+1 | |
| 2018-07-09 | - Fixes: Part 1. | Eduardo Julian | 1 | -1/+1 | |
| 2018-07-09 | - Fixes: Part 0. | Eduardo Julian | 1 | -1/+1 | |
| 2018-07-07 | - Implemented ":share" macro for easier type-sharing when casting. | Eduardo Julian | 1 | -1/+1 | |
| 2018-07-04 | - Removed "alias:" due to the potential for introducing confusion due to ↵ | Eduardo Julian | 1 | -1/+1 | |
| having multiple names for the same definitions. | |||||
| 2018-07-04 | - Re-named "degree" to "revolution". | Eduardo Julian | 1 | -1/+1 | |
| 2018-07-04 | - Implemented ":cast" macro, and used it to implement both ":abstraction" ↵ | Eduardo Julian | 1 | -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 Julian | 1 | -7/+5 | |
| the front of numbers. | |||||
| 2018-07-03 | - Re-named "stream" to "sequence". | Eduardo Julian | 1 | -2/+2 | |
| - Updated copyright dates for lux-mode. | |||||
| 2018-07-03 | - Re-named "sequence" to "row". | Eduardo Julian | 1 | -1/+1 | |
| 2018-07-03 | - Re-named "import" to "import:". | Eduardo Julian | 1 | -1/+1 | |
| 2018-07-03 | - Re-named "@abstraction" to ":abstraction" and "@representation" to ↵ | Eduardo Julian | 1 | -1/+1 | |
| ":representation". | |||||
| 2018-07-03 | - Re-named ":!" to ":coerce". | Eduardo Julian | 1 | -1/+1 | |
| 2018-07-03 | - Re-named ":!!" to ":assume". | Eduardo Julian | 1 | -2/+2 | |
| 2018-05-26 | - WIP: Migrated synthesis to stdlib. | Eduardo Julian | 1 | -1/+1 | |
| 2018-05-23 | - Minor improvements. | Eduardo Julian | 1 | -2/+2 | |
| 2018-05-13 | - Re-named ".../eq" modules to ".../equality". | Eduardo Julian | 1 | -4/+0 | |
| - Other minor improvements. | |||||
| 2018-05-12 | - Implemented Deg(ree) reciprocal & conversions Deg<->Frac. | Eduardo Julian | 1 | -1/+1 | |
| - Added an easy way to define aliases. | |||||
| 2017-12-10 | - Some minor refactoring. | Eduardo Julian | 1 | -0/+1 | |
| - Eliminated the dependency of STM upon FRP. | |||||
| 2017-12-05 | - Forgot to remove "~@" syntax from lux-mode. | Eduardo Julian | 1 | -1/+1 | |
| 2017-12-02 | - Added context-sensitive macro-expansion by means of "lux in-module", and ↵ | Eduardo Julian | 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. | |||||
| 2017-12-01 | - Changed some of the syntax for macro templating. | Eduardo Julian | 1 | -1/+1 | |
| - "gensym" now produces Ident instead of Code. | |||||
| 2017-11-29 | - Re-named lux/type/opaque to lux/type/abstract. | Eduardo Julian | 1 | -1/+1 | |
| 2017-11-29 | - Changed the identifier separator, from the semi-colon (;) to the ↵ | Eduardo Julian | 1 | -5/+5 | |
| period/dot (.). | |||||
| 2017-11-27 | - Got rid of even more dots. | Eduardo Julian | 1 | -1/+1 | |
| 2017-11-27 | - Changed the prefixes of numeric functions. | Eduardo Julian | 1 | -2/+2 | |
| 2017-10-30 | - Added "^code" pattern-matching macro for easier handling of code. | Eduardo Julian | 1 | -1/+1 | |
| 2017-10-20 | - Re-named "Host" to "Primitive". | Eduardo Julian | 1 | -8/+8 | |
| 2017-10-19 | - Implemented an more comfortable alternative to "with-expansions". | Eduardo Julian | 1 | -2/+2 | |
| 2017-10-17 | - Added "for" macro to specify platform-dependent code. | Eduardo Julian | 1 | -1/+2 | |
| - Some refactoring/re-naming. | |||||
| 2017-09-19 | - Some refactoring. | Eduardo Julian | 1 | -4/+2 | |
| - Moved "assume" and "default" to lux/data/maybe. | |||||
| 2017-09-08 | - Re-named "jvm-import" to "import". | Eduardo Julian | 1 | -2/+2 | |
| 2017-09-05 | - Added alternative syntax for Frac numbers, based on traditional ↵ | Eduardo Julian | 1 | -1/+4 | |
| ratio/fraction syntax. | |||||
| 2017-08-21 | - Renamed "model" to "opaque". | Eduardo Julian | 1 | -1/+1 | |
| 2017-08-03 | - Added "on:" syntax for spaces. | Eduardo Julian | 1 | -2/+2 | |
| 2017-07-25 | - Added "model:", "unit:" and "scale:" to syntax highlighting. | Eduardo Julian | 1 | -0/+2 | |
| 2017-07-22 | - Removed Char support in lux-mode. | Eduardo Julian | 1 | -4/+1 | |
| - Removed keyword support for algebraic effects. | |||||
| 2017-07-02 | - Lux no longer has a Char primitive data-type. | Eduardo Julian | 1 | -1/+2 | |
| 2017-06-26 | - Changed the syntax-highlighting rules. | Eduardo Julian | 1 | -2/+8 | |
| 2017-06-21 | - Forgot to commit the change in lux-mode when renaming "test:" to "context:". | Eduardo Julian | 1 | -1/+1 | |
| 2017-05-24 | - Renamed ^=> to ^multi. | Eduardo Julian | 1 | -1/+1 | |
 |
index : lux | |
| fork of https://github.com/LuxLang/lux for my bookshelf |
| aboutsummaryrefslogtreecommitdiff |