| Commit message (Expand) | Author | Files | Lines |
2015-07-29 | - lux;using no longer prefixes variables. | Eduardo Julian | 1 | -2/+2 |
2015-07-26 | - Changed the name of lux/host/java to lux/host/jvm | Eduardo Julian | 1 | -13/+14 |
2015-07-26 | - Fixed a pattern-matching error where generalizations of types (universal-qu... | Eduardo Julian | 1 | -39/+78 |
2015-07-25 | - The output directory is now being used as the cache. | Eduardo Julian | 1 | -5/+5 |
2015-07-25 | /cache and /output now using same format. | Eduardo Julian | 1 | -38/+10 |
2015-07-24 | - Removed the "seen-sources" field from the compiler state. | Eduardo Julian | 1 | -17/+19 |
2015-07-21 | - Added a way to pass the cursor from un-expanded macro-forms to their expans... | Eduardo Julian | 1 | -18/+87 |
2015-07-19 | - Some bug fixes. | Eduardo Julian | 1 | -135/+158 |
2015-07-14 | - Added a ' (quote) macro that works like ` (backquote), without unquote or u... | Eduardo Julian | 1 | -38/+50 |
2015-07-12 | - Added the beginnings of the standard library. | Eduardo Julian | 1 | -399/+1001 |
2015-06-21 | - The backwards analysis of function application is back. | Eduardo Julian | 1 | -351/+282 |
2015-06-20 | - The directory for source-code is now named "input". | Eduardo Julian | 1 | -11/+15 |
2015-06-12 | - Added imports. | Eduardo Julian | 1 | -18/+24 |
2015-06-10 | - Reimplemented module-aliasing. | Eduardo Julian | 1 | -26/+35 |
2015-06-09 | - Put definition metadata into the generated .class files. | Eduardo Julian | 1 | -23/+6 |
2015-05-31 | - Finished _jvm-interface_ & _jvm-class_. | Eduardo Julian | 1 | -93/+114 |
2015-05-27 | - _jvm_program now relies on the (IO (,)) type. | Eduardo Julian | 1 | -6/+7 |
2015-05-26 | - Now using an in-memory class-loader. | Eduardo Julian | 1 | -2/+4 |
2015-05-24 | - Cleaned-up a few things in lux.lux | Eduardo Julian | 1 | -110/+100 |
2015-05-22 | - Added a simple optimization based on the idea of avoiding to compare 2 type... | Eduardo Julian | 1 | -35/+35 |
2015-05-22 | - Corrected the indentation issues in the lux files. | Eduardo Julian | 1 | -999/+1070 |
2015-05-14 | - Removed the apparently unnecessary total-locals. | Eduardo Julian | 1 | -13/+33 |
2015-05-10 | - Changed the names of the tags of the Syntax type to differentiate them bett... | Eduardo Julian | 1 | -226/+226 |
2015-05-10 | - Switched to the new prefix convention for both lux's special forms and the ... | Eduardo Julian | 1 | -1153/+1164 |
2015-05-10 | - Now analysing function-application backwards. | Eduardo Julian | 1 | -374/+308 |
2015-05-07 | - Eliminated #eval-ctor from the HostState and now #seed is used for the same... | Eduardo Julian | 1 | -4/+2 |
2015-05-06 | - Made several optimizations to the compiler. | Eduardo Julian | 1 | -2/+2 |
2015-05-04 | v0.1 | Eduardo Julian | 1 | -1/+1 |
2015-05-04 | - Added the LuxVar type to properly specify the type of environment bindings. | Eduardo Julian | 1 | -14/+138 |
2015-05-04 | - Added alias-lux to import lux.lux definitions. | Eduardo Julian | 1 | -87/+125 |
2015-05-03 | - Added def-aliasing. | Eduardo Julian | 1 | -68/+113 |
2015-05-03 | - Added ;;self-prefixes. | Eduardo Julian | 1 | -48/+103 |
2015-05-03 | - Fixed escaping in chars | Eduardo Julian | 1 | -17/+189 |
2015-05-03 | - The type syntax is finally complete ^_^ | Eduardo Julian | 1 | -110/+182 |
2015-05-02 | - Implemented some new macros & functions in lux.lux. | Eduardo Julian | 1 | -113/+212 |
2015-05-02 | - Finally got find-macro & macro-expand to work... (Note: type-vars bug is st... | Eduardo Julian | 1 | -68/+32 |
2015-05-01 | - Added existential types via #ExT. | Eduardo Julian | 1 | -1/+2 |
2015-05-01 | Optimized the compiler with 2 tweaks: | Eduardo Julian | 1 | -26/+0 |
2015-05-01 | - Added the lux;seed slot to the compiler state. | Eduardo Julian | 1 | -6/+35 |
2015-05-01 | - declare-macro has returned. | Eduardo Julian | 1 | -694/+464 |
2015-04-30 | - Implemented pattern-matching for records. | Eduardo Julian | 1 | -61/+23 |
2015-04-29 | - Made a slight correction to the Syntax type when it comes to records (slot-... | Eduardo Julian | 1 | -208/+192 |
2015-04-28 | - Fixed some errors in lux.lux. | Eduardo Julian | 1 | -1102/+1294 |
2015-04-26 | - lux/analyser/def has been renamed to lux/analyser/module. | Eduardo Julian | 1 | -214/+213 |
2015-04-26 | Made a correction to lux.lux and the analyser regarding how to handle type-vars. | Eduardo Julian | 1 | -3/+4 |
2015-04-26 | - Macros are no longer declared. Instead, they are automatically detected. | Eduardo Julian | 1 | -257/+270 |
2015-04-25 | - No more Any (Top) and Nothing (Bottom) types. | Eduardo Julian | 1 | -32/+25 |
2015-04-25 | - More accurate AllT environment management by using (Maybe TypeEnv) instead ... | Eduardo Julian | 1 | -28/+30 |
2015-04-23 | - Fused lux;local-envs & lux;global-envs as lux;envs. | Eduardo Julian | 1 | -18/+22 |
2015-04-23 | - Added a dummy implementation of "export'". | Eduardo Julian | 1 | -208/+395 |