aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
| * - 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
* - 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