aboutsummaryrefslogtreecommitdiff
path: root/source/lux.lux (follow)
Commit message (Expand)AuthorAgeFilesLines
* - Type definitions inside the compiler data now hold the type itself.Eduardo Julian2015-08-031-7/+17
* - Added a module for hashing.Eduardo Julian2015-08-021-221/+340
* - Did some refactoring of the standard library.Eduardo Julian2015-07-311-504/+611
* - lux;using no longer prefixes variables.Eduardo Julian2015-07-291-2/+2
* - Changed the name of lux/host/java to lux/host/jvmEduardo Julian2015-07-261-13/+14
* - Fixed a pattern-matching error where generalizations of types (universal-qu...Eduardo Julian2015-07-261-39/+78
* - The output directory is now being used as the cache.Eduardo Julian2015-07-251-0/+2784
* - The directory for source-code is now named "input".Eduardo Julian2015-06-201-2169/+0
* - Added imports.Eduardo Julian2015-06-121-18/+24
* - Reimplemented module-aliasing.Eduardo Julian2015-06-101-26/+35
* - Put definition metadata into the generated .class files.Eduardo Julian2015-06-091-23/+6
* - Finished _jvm-interface_ & _jvm-class_.Eduardo Julian2015-05-311-93/+114
* - _jvm_program now relies on the (IO (,)) type.Eduardo Julian2015-05-271-6/+7
* - Now using an in-memory class-loader.Eduardo Julian2015-05-261-2/+4
* - Cleaned-up a few things in lux.luxEduardo Julian2015-05-241-110/+100
* - Added a simple optimization based on the idea of avoiding to compare 2 type...Eduardo Julian2015-05-221-35/+35
* - Corrected the indentation issues in the lux files.Eduardo Julian2015-05-221-999/+1070
* - Removed the apparently unnecessary total-locals.Eduardo Julian2015-05-141-13/+33
* - Changed the names of the tags of the Syntax type to differentiate them bett...Eduardo Julian2015-05-101-226/+226
* - Switched to the new prefix convention for both lux's special forms and the ...Eduardo Julian2015-05-101-1153/+1164
* - Now analysing function-application backwards.Eduardo Julian2015-05-101-374/+308
* - Eliminated #eval-ctor from the HostState and now #seed is used for the same...Eduardo Julian2015-05-071-4/+2
* - Made several optimizations to the compiler.Eduardo Julian2015-05-061-2/+2
* v0.1Eduardo Julian2015-05-041-1/+1
* - Added the LuxVar type to properly specify the type of environment bindings.Eduardo Julian2015-05-041-14/+138
* - Added alias-lux to import lux.lux definitions.Eduardo Julian2015-05-041-87/+125
* - Added def-aliasing.Eduardo Julian2015-05-031-68/+113
* - Added ;;self-prefixes.Eduardo Julian2015-05-031-48/+103
* - Fixed escaping in charsEduardo Julian2015-05-031-17/+189
* - The type syntax is finally complete ^_^Eduardo Julian2015-05-031-110/+182
* - Implemented some new macros & functions in lux.lux.Eduardo Julian2015-05-021-113/+212
* - Finally got find-macro & macro-expand to work... (Note: type-vars bug is st...Eduardo Julian2015-05-021-68/+32
* - Added existential types via #ExT.Eduardo Julian2015-05-011-1/+2
* Optimized the compiler with 2 tweaks:Eduardo Julian2015-05-011-26/+0
* - Added the lux;seed slot to the compiler state.Eduardo Julian2015-05-011-6/+35
* - declare-macro has returned.Eduardo Julian2015-05-011-694/+464
* - Implemented pattern-matching for records.Eduardo Julian2015-04-301-61/+23
* - Made a slight correction to the Syntax type when it comes to records (slot-...Eduardo Julian2015-04-291-208/+192
* - Fixed some errors in lux.lux.Eduardo Julian2015-04-281-1102/+1294
* - lux/analyser/def has been renamed to lux/analyser/module.Eduardo Julian2015-04-261-214/+213
* Made a correction to lux.lux and the analyser regarding how to handle type-vars.Eduardo Julian2015-04-261-3/+4
* - Macros are no longer declared. Instead, they are automatically detected.Eduardo Julian2015-04-261-257/+270
* - No more Any (Top) and Nothing (Bottom) types.Eduardo Julian2015-04-251-32/+25
* - More accurate AllT environment management by using (Maybe TypeEnv) instead ...Eduardo Julian2015-04-251-28/+30
* - Fused lux;local-envs & lux;global-envs as lux;envs.Eduardo Julian2015-04-231-18/+22
* - Added a dummy implementation of "export'".Eduardo Julian2015-04-231-208/+395
* - Removed analyse-2, as it was redundant.Eduardo Julian2015-04-231-444/+412
* - Fixed several bugs in lux.luxEduardo Julian2015-04-191-1088/+1258
* - Solved the bug wherein type-inferencing was causing computational complexit...Eduardo Julian2015-04-171-208/+188
* - |do bindings are now based on pattern matching (that way, tuple destructuri...Eduardo Julian2015-04-161-1219/+1239
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 13:22:11 +0000