aboutsummaryrefslogtreecommitdiff
path: root/source (unfollow)
Commit message (Expand)AuthorFilesLines
2015-05-27- _jvm_program now relies on the (IO (,)) type.Eduardo Julian2-10/+8
2015-05-26- Now using an in-memory class-loader.Eduardo Julian1-2/+4
2015-05-24- Cleaned-up a few things in lux.luxEduardo Julian1-110/+100
2015-05-22- Added a simple optimization based on the idea of avoiding to compare 2 type...Eduardo Julian1-35/+35
2015-05-22- Corrected the indentation issues in the lux files.Eduardo Julian2-964/+1035
2015-05-14- Removed the apparently unnecessary total-locals.Eduardo Julian2-14/+34
2015-05-10- Changed the names of the tags of the Syntax type to differentiate them bett...Eduardo Julian1-224/+224
2015-05-10- Switched to the new prefix convention for both lux's special forms and the ...Eduardo Julian2-1105/+1116
2015-05-10- Now analysing function-application backwards.Eduardo Julian2-371/+305
2015-05-07- Eliminated #eval-ctor from the HostState and now #seed is used for the same...Eduardo Julian1-4/+2
2015-05-06- Made several optimizations to the compiler.Eduardo Julian1-2/+2
2015-05-04v0.1Eduardo Julian1-1/+1
2015-05-04- Added the LuxVar type to properly specify the type of environment bindings.Eduardo Julian2-14/+144
2015-05-04- Added alias-lux to import lux.lux definitions.Eduardo Julian2-77/+127
2015-05-03- Added def-aliasing.Eduardo Julian1-67/+112
2015-05-03- Added ;;self-prefixes.Eduardo Julian1-48/+103
2015-05-03- Fixed escaping in charsEduardo Julian1-17/+189
2015-05-03- The type syntax is finally complete ^_^Eduardo Julian1-104/+176
2015-05-02- Implemented some new macros & functions in lux.lux.Eduardo Julian1-106/+205
2015-05-02- Finally got find-macro & macro-expand to work... (Note: type-vars bug is st...Eduardo Julian1-68/+32
2015-05-01- Added existential types via #ExT.Eduardo Julian1-1/+2
2015-05-01Optimized the compiler with 2 tweaks:Eduardo Julian1-26/+0
2015-05-01- Added the lux;seed slot to the compiler state.Eduardo Julian1-6/+35
2015-05-01- declare-macro has returned.Eduardo Julian1-680/+450
2015-04-30- Implemented pattern-matching for records.Eduardo Julian1-60/+22
2015-04-29- Made a slight correction to the Syntax type when it comes to records (slot-...Eduardo Julian1-201/+185
2015-04-28- Fixed some errors in lux.lux.Eduardo Julian1-967/+1159
2015-04-26- lux/analyser/def has been renamed to lux/analyser/module.Eduardo Julian1-212/+211
2015-04-26Made a correction to lux.lux and the analyser regarding how to handle type-vars.Eduardo Julian1-3/+4
2015-04-26- Macros are no longer declared. Instead, they are automatically detected.Eduardo Julian1-254/+267
2015-04-25- No more Any (Top) and Nothing (Bottom) types.Eduardo Julian1-32/+25
2015-04-25- More accurate AllT environment management by using (Maybe TypeEnv) instead ...Eduardo Julian1-28/+30
2015-04-23- Fused lux;local-envs & lux;global-envs as lux;envs.Eduardo Julian1-18/+22
2015-04-23- Added a dummy implementation of "export'".Eduardo Julian1-204/+391
2015-04-23- Removed analyse-2, as it was redundant.Eduardo Julian1-431/+399
2015-04-19- Fixed several bugs in lux.luxEduardo Julian1-903/+1073
2015-04-17- Solved the bug wherein type-inferencing was causing computational complexit...Eduardo Julian1-193/+173
2015-04-16- |do bindings are now based on pattern matching (that way, tuple destructuri...Eduardo Julian1-1024/+1044
2015-04-16- Type-vars can now be deleted and be scoped (through with-var).Eduardo Julian1-153/+150
2015-04-15- Fixed a few type-related bugs.Eduardo Julian1-164/+174
2015-04-09- Function names & parameters now take prefixes into account.Eduardo Julian1-37/+37
2015-04-08- Renamed exec to |do.Eduardo Julian1-119/+119
2015-04-08Removed several useless lux files (1 example and 3 outdated rewrites of compi...Eduardo Julian4-385/+0
2015-04-02- Identifiers with just a semi-colon in front now have "lux" as their module,...Eduardo Julian1-760/+919
2015-03-30- Beginning to add type-system + type-inferencer.Eduardo Julian1-752/+932
2015-03-22- Fixed the bug that caused the infinite look while compiling the file.Eduardo Julian1-1/+1
2015-03-22- Added code-cursors (file-name, line-number, column-number) as metadata on l...Eduardo Julian1-204/+215
2015-03-21- Added the reading-phase and it's associated structure as the mediator betwe...Eduardo Julian1-4/+25
2015-03-21- Added module-name aliasing.Eduardo Julian1-98/+108
2015-03-21[2nd Super Refactoring That Breaks The System: Part 7]Eduardo Julian1-348/+352
generated by cgit v1.3.1 (git 2.54.0) at 2026-09-24 00:50:56 +0000