aboutsummaryrefslogtreecommitdiff
path: root/source (unfollow)
Commit message (Expand)AuthorFilesLines
2015-08-02- Added a module for hashing.Eduardo Julian8-277/+427
2015-07-31- Did some refactoring of the standard library.Eduardo Julian27-697/+1066
2015-07-29- lux;using no longer prefixes variables.Eduardo Julian11-96/+67
2015-07-26- Changed the name of lux/host/java to lux/host/jvmEduardo Julian9-184/+134
2015-07-26- Fixed a pattern-matching error where generalizations of types (universal-qu...Eduardo Julian8-90/+130
2015-07-25- The output directory is now being used as the cache.Eduardo Julian31-0/+5222
2015-06-20- The directory for source-code is now named "input".Eduardo Julian2-2184/+0
2015-06-12- Added imports.Eduardo Julian1-18/+24
2015-06-10- Reimplemented module-aliasing.Eduardo Julian1-26/+35
2015-06-09- Put definition metadata into the generated .class files.Eduardo Julian1-22/+5
2015-05-31- Finished _jvm-interface_ & _jvm-class_.Eduardo Julian1-92/+113
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
generated by cgit v1.3.1 (git 2.54.0) at 2026-07-30 22:00:05 +0000