Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Added dynamic typing. | Eduardo Julian | 2019-01-24 | 1 | -72/+72 |
| | |||||
* | Re-structured the l10n/i18n machinery. | Eduardo Julian | 2019-01-22 | 1 | -0/+3 |
| | |||||
* | - WIP: Expansion of CSS machinery. | Eduardo Julian | 2019-01-22 | 1 | -0/+8 |
| | | | - Expansion of l10n/i18n machinery. | ||||
* | Re-named "lux/control/security/taint" to "lux/control/security/integrity". | Eduardo Julian | 2019-01-11 | 1 | -168/+176 |
| | |||||
* | - Fixed common translation tests for JVM. | Eduardo Julian | 2018-08-11 | 1 | -4/+5 |
| | | | | - Fixed a bug in "lux text <". - Small optimizations to old LuxC. | ||||
* | Moved statement phase into stdlib. | Eduardo Julian | 2018-08-02 | 1 | -5/+8 |
| | |||||
* | Now implementing atom functionality in stdlib instead of the compiler. | Eduardo Julian | 2018-07-31 | 1 | -1/+1 |
| | |||||
* | Moved evaluation machinery from new-luxc to stdlib. | Eduardo Julian | 2018-07-29 | 1 | -0/+1 |
| | |||||
* | Got rid of Object-Oriented Programming modules. | Eduardo Julian | 2018-07-21 | 1 | -4/+1 |
| | |||||
* | Re-named "Ident" to "Name". | Eduardo Julian | 2018-07-21 | 1 | -1/+1 |
| | |||||
* | - Re-named "Compiler" to "Phase". | Eduardo Julian | 2018-07-21 | 1 | -40/+40 |
| | | | - Re-structured the compiler infrastructure. | ||||
* | Moved "lux/language/type/*" to "lux/type/*". | Eduardo Julian | 2018-07-21 | 1 | -3/+2 |
| | |||||
* | Re-named "lux/world/blob" to "lux/world/binary". | Eduardo Julian | 2018-07-21 | 1 | -1/+1 |
| | |||||
* | No longer giving default aliases to un-prefixed imports. | Eduardo Julian | 2018-07-20 | 1 | -64/+68 |
| | |||||
* | - Improvements to import syntax [part 2]. | Eduardo Julian | 2018-07-11 | 1 | -136/+170 |
| | |||||
* | - Improvements to import syntax [part 0]. | Eduardo Julian | 2018-07-10 | 1 | -30/+65 |
| | |||||
* | - Re-named ".../eq" modules to ".../equality". | Eduardo Julian | 2018-05-13 | 1 | -1/+1 |
| | | | - Other minor improvements. | ||||
* | - Some improvements and fixes for stdlib. | Eduardo Julian | 2018-05-10 | 1 | -2/+4 |
| | |||||
* | - Removed "lux text upper" and "lux text lower" procedures. | Eduardo Julian | 2018-05-06 | 1 | -5/+5 |
| | |||||
* | - Moved the "wrap" function into Monad, and removed Applicative from Monad's ↵ | Eduardo Julian | 2018-05-02 | 1 | -9/+9 |
| | | | | | family tree. - Moved the Free monad to its own module. | ||||
* | - Re-organized "lux/data/coll/tree/*" modules. | Eduardo Julian | 2018-05-01 | 1 | -3/+3 |
| | |||||
* | - Re-organized priority-queue modules. | Eduardo Julian | 2018-05-01 | 1 | -6/+6 |
| | |||||
* | - Re-named "lux/data/coll/dict/*" to "lux/data/coll/dictionary/*". | Eduardo Julian | 2018-05-01 | 1 | -2/+2 |
| | |||||
* | - Re-organized dict modules. | Eduardo Julian | 2018-05-01 | 1 | -3/+3 |
| | |||||
* | - Re-organized set modules. | Eduardo Julian | 2018-05-01 | 1 | -3/+3 |
| | |||||
* | - Re-named lux/control/cont to lux/control/continuation. | Eduardo Julian | 2018-05-01 | 1 | -1/+1 |
| | |||||
* | - Added initial implementation of protocol-based object-oriented programming. | Eduardo Julian | 2018-02-11 | 1 | -1/+3 |
| | |||||
* | - Re-named lux/type/object to lux/type/object/interface. | Eduardo Julian | 2018-02-11 | 1 | -1/+1 |
| | |||||
* | - Improved the way exceptions work. | Eduardo Julian | 2018-02-07 | 1 | -4/+5 |
| | |||||
* | - Added region-based resource management. | Eduardo Julian | 2017-12-31 | 1 | -1/+2 |
| | |||||
* | - Added safe (single-threaded) mutation. | Eduardo Julian | 2017-12-31 | 1 | -1/+2 |
| | |||||
* | - Added bit-sets. | Eduardo Julian | 2017-12-31 | 1 | -1/+2 |
| | |||||
* | - A small, in-development module for doing constructive mathematics with ↵ | Eduardo Julian | 2017-12-28 | 1 | -0/+1 |
| | | | | something close to dependent types. | ||||
* | - Added quotient types. | Eduardo Julian | 2017-12-28 | 1 | -1/+2 |
| | |||||
* | - Added module for predicates. | Eduardo Julian | 2017-12-25 | 1 | -2/+4 |
| | | | | | - Added refinement types. - Small refactorings and fixes. - Added the capacity to unquote expressions inside the 'lux.type' macro. | ||||
* | - Added type-safe modular arithmetic. | Eduardo Julian | 2017-12-24 | 1 | -1/+1 |
| | |||||
* | - Agent-based concurrency is just actors listening to FRP channels, so ↵ | Eduardo Julian | 2017-12-12 | 1 | -2/+0 |
| | | | | special support for it was removed. | ||||
* | - Added some ~! to some macros to stop them from imposing dependencies. | Eduardo Julian | 2017-12-02 | 1 | -4/+1 |
| | | | - Added some code to "lux.type" so it can handle "lux in-module". | ||||
* | - Added context-sensitive macro-expansion by means of "lux in-module", and ↵ | Eduardo Julian | 2017-12-02 | 1 | -1/+3 |
| | | | | | | 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 the identifier separator, from the semi-colon (;) to the ↵ | Eduardo Julian | 2017-11-29 | 1 | -74/+73 |
| | | | | period/dot (.). | ||||
* | - Added console I/O. | Eduardo Julian | 2017-11-23 | 1 | -1/+2 |
| | |||||
* | - Re-named "lux/meta" to to "lux/macro". | Eduardo Julian | 2017-11-15 | 1 | -5/+5 |
| | |||||
* | - Moved "/type/*" to from "lux/meta/" to "lux/". | Eduardo Julian | 2017-11-15 | 1 | -4/+4 |
| | |||||
* | - Moved "/type" and "/type/check" from "lux/meta" to "lux/lang". | Eduardo Julian | 2017-11-15 | 1 | -4/+4 |
| | |||||
* | - Re-named "lux/meta/type/auto" to "lux/meta/type/implicit". | Eduardo Julian | 2017-11-15 | 1 | -1/+1 |
| | |||||
* | - Moved "luxc/lang/syntax" to "lux/lang/syntax". | Eduardo Julian | 2017-11-15 | 1 | -0/+1 |
| | | | - Minor refactoring. | ||||
* | - Re-named "Lux" type to "Meta". | Eduardo Julian | 2017-10-16 | 1 | -10/+10 |
| | | | - Moved lux/type/* under lux/meta/*. | ||||
* | - Re-named "Vector" to "Sequence" to avoid confusion with mathematical vectors. | Eduardo Julian | 2017-10-16 | 1 | -1/+1 |
| | |||||
* | - Removed the useless Seq type. | Eduardo Julian | 2017-10-16 | 1 | -1/+0 |
| | |||||
* | - Re-named "Result" type back to "Error". | Eduardo Julian | 2017-10-16 | 1 | -1/+1 |
| |