aboutsummaryrefslogtreecommitdiff
path: root/src (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* - Cleaned-up a few things in lux.luxEduardo Julian2015-05-2410-330/+332
* - Added a simple optimization based on the idea of avoiding to compare 2 type...Eduardo Julian2015-05-221-33/+35
* - Corrected the indentation issues in the lux files.Eduardo Julian2015-05-229-157/+227
* - Removed the apparently unnecessary total-locals.Eduardo Julian2015-05-143-110/+2
* - Multi-line comments have returned.Eduardo Julian2015-05-143-19/+62
* - Changed the names of the tags of the Syntax type to differentiate them bett...Eduardo Julian2015-05-107-189/+189
* - Switched to the new prefix convention for both lux's special forms and the ...Eduardo Julian2015-05-108-211/+238
* - Now analysing function-application backwards.Eduardo Julian2015-05-104-81/+84
* - Eliminated #eval-ctor from the HostState and now #seed is used for the same...Eduardo Julian2015-05-075-50/+42
* - Made several optimizations to the compiler.Eduardo Julian2015-05-0614-243/+177
* - 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
* v0.1Eduardo Julian2015-05-042-10/+81
* - Added the LuxVar type to properly specify the type of environment bindings.Eduardo Julian2015-05-0410-117/+203
* - Added alias-lux to import lux.lux definitions.Eduardo Julian2015-05-048-59/+108
* - Added def-aliasing.Eduardo Julian2015-05-033-22/+54
* - Added ;;self-prefixes.Eduardo Julian2015-05-032-90/+94
* - Optimized the compiler by eliminating reflection.Eduardo Julian2015-05-0314-133/+78
* - Fixed escaping in charsEduardo Julian2015-05-032-4/+4
* - The type syntax is finally complete ^_^Eduardo Julian2015-05-037-51/+36
* - Implemented some new macros & functions in lux.lux.Eduardo Julian2015-05-023-36/+39
* - Finally got find-macro & macro-expand to work... (Note: type-vars bug is st...Eduardo Julian2015-05-023-71/+78
* - Added existential types via #ExT.Eduardo Julian2015-05-013-46/+18
* Optimized the compiler with 2 tweaks:Eduardo Julian2015-05-0111-123/+104
* - Added the lux;seed slot to the compiler state.Eduardo Julian2015-05-015-34/+74
* - declare-macro has returned.Eduardo Julian2015-05-017-67/+157
* - Implemented pattern-matching for records.Eduardo Julian2015-04-304-44/+111
* - 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-291-17/+33
* - Fixed some errors in lux.lux.Eduardo Julian2015-04-2811-161/+189
* - 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-266-239/+275
* Made a correction to lux.lux and the analyser regarding how to handle type-vars.Eduardo Julian2015-04-262-5/+13
* 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-263-16/+95
* - No more Any (Top) and Nothing (Bottom) types.Eduardo Julian2015-04-256-294/+282
* - More accurate AllT environment management by using (Maybe TypeEnv) instead ...Eduardo Julian2015-04-251-29/+56
* - 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-235-70/+58
* - Added a dummy implementation of "export'".Eduardo Julian2015-04-236-68/+58
* - Removed analyse-2, as it was redundant.Eduardo Julian2015-04-238-62/+87
* - Fixed several bugs in lux.luxEduardo Julian2015-04-1910-273/+307
* - Solved the bug wherein type-inferencing was causing computational complexit...Eduardo Julian2015-04-173-114/+110
* - |do bindings are now based on pattern matching (that way, tuple destructuri...Eduardo Julian2015-04-1610-374/+366
* - Type-vars can now be deleted and be scoped (through with-var).Eduardo Julian2015-04-168-332/+474
* - Fixed a few type-related bugs.Eduardo Julian2015-04-159-325/+284
* - Function names & parameters now take prefixes into account.Eduardo Julian2015-04-097-63/+155
* - Renamed exec to |do.Eduardo Julian2015-04-0821-504/+665
* - Identifiers with just a semi-colon in front now have "lux" as their module,...Eduardo Julian2015-04-026-177/+189