| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | - Removed "T" suffix from Type's tags. | Eduardo Julian | 2017-05-07 | 1 | -373/+373 | |
| | | ||||||
| * | - Fully implemented Deg encoding/decoding in pure Lux. | Eduardo Julian | 2017-05-07 | 1 | -7/+4 | |
| | | | | - No longer relying in LuxRT-supported implementations. | |||||
| * | - Removed the "Debug" compiler mode. | Eduardo Julian | 2017-05-04 | 1 | -13/+9 | |
| | | ||||||
| * | - Removed the "S" suffix from AST tags. | Eduardo Julian | 2017-05-03 | 1 | -402/+402 | |
| | | ||||||
| * | - Changes the types of a few compiler-state components. | Eduardo Julian | 2017-05-03 | 1 | -9/+6 | |
| | | ||||||
| * | - Changed the way Scope works, to make it independent from the notion of ↵ | Eduardo Julian | 2017-05-01 | 1 | -14/+29 | |
| | | | | | | Analysis, and make it easier to port to the new re-written compiler. - Fixed a type-bug when asserting whether a def is being re-defined. | |||||
| * | - Renamed fields of scopes. | Eduardo Julian | 2017-04-30 | 1 | -13/+13 | |
| | | ||||||
| * | - Updated the compiler's type-checking context to match it with lux/type/check. | Eduardo Julian | 2017-04-30 | 1 | -16/+36 | |
| | | ||||||
| * | - Small refactorings and fixes. | Eduardo Julian | 2017-04-30 | 1 | -28/+35 | |
| | | | | - Added <|. macro. | |||||
| * | - Simplified some of the documentation and error messages. | Eduardo Julian | 2017-04-12 | 1 | -14/+14 | |
| | | ||||||
| * | - Renamed "LambdaT" to "FunctionT". | Eduardo Julian | 2017-04-10 | 1 | -69/+69 | |
| | | ||||||
| * | - Renamed _lux_lambda to _lux_function. | Eduardo Julian | 2017-04-10 | 1 | -72/+72 | |
| | | ||||||
| * | - Renamed "lambda" to "function". | Eduardo Julian | 2017-04-10 | 1 | -362/+362 | |
| | | ||||||
| * | - Renamed lambda' and lambda'' to function' and function''. | Eduardo Julian | 2017-04-10 | 1 | -613/+613 | |
| | | ||||||
| * | - Fixed a bug in the way the Rec macro worked (it didn't update the indices ↵ | Eduardo Julian | 2017-04-08 | 1 | -1/+2 | |
| | | | | | of its body type). | |||||
| * | - Renamed lux/data/text;replace to replace-all. | Eduardo Julian | 2017-04-06 | 1 | -10/+10 | |
| | | | | - Did some refactorings for lexers. | |||||
| * | - Moved lux/lexer and lux/lexer/regex to lux/data/text/lexer and ↵ | Eduardo Julian | 2017-04-05 | 1 | -65/+1 | |
| | | | | | | | | | | lux/data/text/regex. - Moved lux/pipe to lux/control/pipe. - Moved the @pre and @post macros to lux/control/contract. - Improved error reporting for lux/type/auto. - Added a test for third-order type-checking for lux/type/auto. - Fixed a bug in the tests for lux/data/coll/vector. | |||||
| * | - :: can now be used to refer to sub-structures within a structure. | Eduardo Julian | 2017-04-04 | 1 | -35/+50 | |
| | | ||||||
| * | - Implemented Int encoding/decoding in the standard library. | Eduardo Julian | 2017-04-03 | 1 | -78/+85 | |
| | | | | | | - Moved some type-constructors for building functor types into the lux/control/functor module. - Renamed Ord to Order. - Renamed Env to Reader. | |||||
| * | - Nat encoding/decoding is now implemented in the standard library. | Eduardo Julian | 2017-03-30 | 1 | -4/+25 | |
| | | ||||||
| * | - Forgot commit the change about ["jvm" "try"] for lux/host.jvm.lux | Eduardo Julian | 2017-03-28 | 1 | -21/+26 | |
| | | ||||||
| * | - Re-designed atomic operations as common procedures. | Eduardo Julian | 2017-02-23 | 1 | -5/+5 | |
| | | | | | - Implemented atomic operations for the JVM. - Basic Lux types no longer rely on JVM classes. | |||||
| * | - Implemented a variety of new procedures for text, chars, math and arrays. | Eduardo Julian | 2017-02-22 | 1 | -7/+11 | |
| | | ||||||
| * | - Implemented several new procedures. | Eduardo Julian | 2017-02-16 | 1 | -74/+88 | |
| | | | | | | | - Improved Lux-to-JS interactions. - Parallel compilation works for the JS backend. - Added more primitive functionality to the JS runtime. - More common procedures. | |||||
| * | - Now doing common array analysis/compilation. | Eduardo Julian | 2017-02-11 | 1 | -9/+8 | |
| | | | | | | | | - Now doing common io/log! analysis/compilation. - Now doing common char/to-text analysis/compilation. - Expanded compilation of procedures in JS. - Expanded LuxRT in JS. - Fixed some bugs. | |||||
| * | - Added support for compiling _lux_proc (some procedures). | Eduardo Julian | 2017-02-05 | 1 | -151/+147 | |
| | | | | | - Added support for compiling (some) procedures, captured-variables, iteration, if-expressions and get-expressions. - Fixed some bugs. | |||||
| * | - The data for checking which exceptions are being catched has been moved ↵ | Eduardo Julian | 2017-01-30 | 1 | -17/+22 | |
| | | | | | from the host state to the normal compiler state. | |||||
| * | - More refactorings. | Eduardo Julian | 2017-01-30 | 1 | -22/+41 | |
| | | | | | - Changed the place where module-compilation-state was being stored. - No longer keeping the compiler's name as part of the compiler's state. | |||||
| * | - Changed the license from MPL 2.0 to MIT. | Eduardo Julian | 2017-01-26 | 1 | -5/+0 | |
| | | ||||||
| * | - Moved the lux/data/struct/* modules to lux/data/coll/*. | Eduardo Julian | 2017-01-25 | 1 | -7/+7 | |
| | | | | | | | | - Did the same for the lux/codata/struct/* modules. - Moved lux/codata/io to lux/io. - Moved lux/control/effect to lux/effect. - Renamed "sample" functions to "this" functions. - Renamed "at" functions to "nth" functions. | |||||
| * | - Renamed lux/data/struct/tree to lux/data/struct/tree/rose. | Eduardo Julian | 2017-01-25 | 1 | -206/+206 | |
| | | | | | | | - 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). | |||||
| * | - Added some type combinators for type constructors. | Eduardo Julian | 2017-01-17 | 1 | -0/+9 | |
| | | ||||||
| * | - Fixed a lot of errors in the documentation. | Eduardo Julian | 2017-01-06 | 1 | -2/+3 | |
| | | ||||||
| * | - Moved the template: macro to the lux module. | Eduardo Julian | 2017-01-04 | 1 | -0/+114 | |
| | | ||||||
| * | - Updated documentation for lux/cli, lux/compiler, lux/codata/*. | Eduardo Julian | 2017-01-02 | 1 | -2/+2 | |
| | | ||||||
| * | - Simple refactorings. | Eduardo Julian | 2017-01-02 | 1 | -82/+178 | |
| | | | | - Updated documentation of lux module. | |||||
| * | - Can make definitions that have meta-data but no type. | Eduardo Julian | 2017-01-01 | 1 | -23/+29 | |
| | | | | - Added a temporary "fix" to be able to access derived structs from the ::: macro, while a better solution is found. | |||||
| * | - Added the type-of macro. | Eduardo Julian | 2016-12-17 | 1 | -14/+24 | |
| | | ||||||
| * | - Updated tests for lux/type. | Eduardo Julian | 2016-12-15 | 1 | -5/+5 | |
| | | | | - Added tests for lux/type/check and lux/type/auto. | |||||
| * | - No longer using record syntax in certain macros. | Eduardo Julian | 2016-12-12 | 1 | -1/+1 | |
| | | ||||||
| * | - Renamed "==" function to "is". | Eduardo Julian | 2016-12-12 | 1 | -3/+3 | |
| | | ||||||
| * | - Small fixes, refactorings and expansions. | Eduardo Julian | 2016-12-12 | 1 | -1/+1 | |
| | | ||||||
| * | - Minor refactorings and expansions. | Eduardo Julian | 2016-12-04 | 1 | -6/+4 | |
| | | ||||||
| * | - Changed the names of math op functions to make them more consistent and ↵ | Eduardo Julian | 2016-12-02 | 1 | -188/+136 | |
| | | | | | similar. | |||||
| * | - Collected the Lux compiler's repo, the Standard Library's, the Leiningen ↵ | Eduardo Julian | 2016-12-01 | 1 | -0/+5541 | |
| plugin's and the Emacs mode's into a big monorepo, to keep development unified. | ||||||
 |
index : lux | |
| fork of https://github.com/LuxLang/lux for my bookshelf |
| aboutsummaryrefslogtreecommitdiff |