aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* - Added a dummy implementation of "export'".Eduardo Julian2015-04-237-276/+453
* - Removed analyse-2, as it was redundant.Eduardo Julian2015-04-239-506/+499
* - Fixed several bugs in lux.luxEduardo Julian2015-04-1911-1361/+1565
* - Solved the bug wherein type-inferencing was causing computational complexit...Eduardo Julian2015-04-174-322/+298
* - |do bindings are now based on pattern matching (that way, tuple destructuri...Eduardo Julian2015-04-1611-1593/+1605
* - Type-vars can now be deleted and be scoped (through with-var).Eduardo Julian2015-04-169-495/+634
* - Fixed a few type-related bugs.Eduardo Julian2015-04-1510-499/+468
* - Function names & parameters now take prefixes into account.Eduardo Julian2015-04-098-102/+194
* - Renamed exec to |do.Eduardo Julian2015-04-0822-630/+791
* Removed several useless lux files (1 example and 3 outdated rewrites of compi...Eduardo Julian2015-04-084-385/+0
* - Identifiers with just a semi-colon in front now have "lux" as their module,...Eduardo Julian2015-04-027-1097/+1268
* - Beginning to add type-system + type-inferencer.Eduardo Julian2015-03-3012-1320/+1582
* - Fixed the bug that caused the infinite look while compiling the file.Eduardo Julian2015-03-227-25/+62
* - Added code-cursors (file-name, line-number, column-number) as metadata on l...Eduardo Julian2015-03-2211-504/+577
* - Added the reading-phase and it's associated structure as the mediator betwe...Eduardo Julian2015-03-215-310/+419
* - Added module-name aliasing.Eduardo Julian2015-03-2121-795/+885
* [2nd Super Refactoring That Breaks The System: Part 7]Eduardo Julian2015-03-2113-498/+513
* [2nd Super Refactoring That Breaks The System: Part 6]Eduardo Julian2015-03-2017-406/+471