aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* - Added a simple optimization based on the idea of avoiding to compare 2 type...Eduardo Julian2015-05-222-68/+70
* - Corrected the indentation issues in the lux files.Eduardo Julian2015-05-2211-1160/+1301
* - Removed the apparently unnecessary total-locals.Eduardo Julian2015-05-145-124/+36
* - Multi-line comments have returned.Eduardo Julian2015-05-143-19/+62
* - Changed the names of the tags of the Syntax type to differentiate them bett...Eduardo Julian2015-05-108-415/+415
* - Switched to the new prefix convention for both lux's special forms and the ...Eduardo Julian2015-05-1010-1369/+1407
* - Now analysing function-application backwards.Eduardo Julian2015-05-106-458/+395
* - Eliminated #eval-ctor from the HostState and now #seed is used for the same...Eduardo Julian2015-05-076-54/+44
* - Made several optimizations to the compiler.Eduardo Julian2015-05-0616-247/+181
* - Made some small optimizations in the compiler.Eduardo Julian2015-05-069-95/+108
* - Removed a few unused definitions inside lux.baseEduardo Julian2015-05-061-91/+3
* - Removed all the unnecesary comments.Eduardo Julian2015-05-0620-1002/+689
* Changed the link to the updated place.Eduardo Julian2015-05-051-1/+1
* It was probably not a good idea to commit the compiler's JAR :/Eduardo Julian2015-05-051-0/+0
* Fixed several errors in the README.Eduardo Julian2015-05-051-33/+57
* Merge pull request #3 from michael-okeefe/patch-1LuxLang2015-05-051-1/+1
|\
| * Fix small typo signaturs -> signaturesMichael O'Keefe2015-05-041-1/+1
|/
* Merge pull request #2 from cvializ/patch-1LuxLang2015-05-041-1/+1
|\
| * Update README.mdcvializ2015-05-041-1/+1
|/
* Merge pull request #1 from nkantar/masterLuxLang2015-05-041-0/+1
|\
| * Update README.mdNikola Kantar2015-05-041-0/+1
|/
* v0.1Eduardo Julian2015-05-044-95/+541
* Added the 0.1 compiler.Eduardo Julian2015-05-041-0/+0
* ReadmeEduardo Julian2015-05-041-0/+433
* - Added the LuxVar type to properly specify the type of environment bindings.Eduardo Julian2015-05-0413-134/+351
* - Added alias-lux to import lux.lux definitions.Eduardo Julian2015-05-0410-146/+245
* - Added def-aliasing.Eduardo Julian2015-05-034-90/+167
* - Added ;;self-prefixes.Eduardo Julian2015-05-033-138/+197
* - Optimized the compiler by eliminating reflection.Eduardo Julian2015-05-0315-134/+80
* - Fixed escaping in charsEduardo Julian2015-05-033-21/+193
* - The type syntax is finally complete ^_^Eduardo Julian2015-05-038-161/+218
* - Implemented some new macros & functions in lux.lux.Eduardo Julian2015-05-024-149/+251
* - Finally got find-macro & macro-expand to work... (Note: type-vars bug is st...Eduardo Julian2015-05-024-139/+110
* - Added existential types via #ExT.Eduardo Julian2015-05-014-47/+20
* Optimized the compiler with 2 tweaks:Eduardo Julian2015-05-0112-149/+104
* - Added the lux;seed slot to the compiler state.Eduardo Julian2015-05-016-40/+109
* - declare-macro has returned.Eduardo Julian2015-05-018-761/+621
* - Implemented pattern-matching for records.Eduardo Julian2015-04-305-105/+134
* - Improved the way vars are deleted by including code to remove all reference...Eduardo Julian2015-04-301-8/+28
* - Made a slight correction to the Syntax type when it comes to records (slot-...Eduardo Julian2015-04-292-225/+225
* - Fixed some errors in lux.lux.Eduardo Julian2015-04-2812-1263/+1483
* - Added a new type of definition (#TypeD (,)), to take advantage of an optimi...Eduardo Julian2015-04-261-10/+28
* - lux/analyser/def has been renamed to lux/analyser/module.Eduardo Julian2015-04-267-453/+488
* Made a correction to lux.lux and the analyser regarding how to handle type-vars.Eduardo Julian2015-04-263-8/+17
* Made a small change in regards to how global defs are resolved.Eduardo Julian2015-04-263-6/+14
* - Macros are no longer declared. Instead, they are automatically detected.Eduardo Julian2015-04-264-273/+365
* - No more Any (Top) and Nothing (Bottom) types.Eduardo Julian2015-04-257-326/+307
* - More accurate AllT environment management by using (Maybe TypeEnv) instead ...Eduardo Julian2015-04-252-57/+86
* - Migrated all the record data-structures to the new tuple-like format.Eduardo Julian2015-04-238-95/+122
* - Fused lux;local-envs & lux;global-envs as lux;envs.Eduardo Julian2015-04-236-88/+80