aboutsummaryrefslogtreecommitdiff
path: root/source (follow)
Commit message (Expand)AuthorAgeFilesLines
* - Added a new (albeit small) I/O library with host-dependent functions.Eduardo Julian2015-09-025-46/+76
* - Added the lux/meta/type module (still missing equality due to an issue with...Eduardo Julian2015-09-011-0/+157
* - Fixed the implementation of the Rec macro, which forgot to do application o...Eduardo Julian2015-09-011-60/+111
* - Added a macro to write recursive types.Eduardo Julian2015-09-014-118/+136
* - Found a compromise with the issue of certain definitions clashing with each...Eduardo Julian2015-08-319-373/+373
* - Added call/cc to lux/codata/lazy.Eduardo Julian2015-08-302-2/+8
* - Removed the (now obsolete) `' macro.Eduardo Julian2015-08-307-459/+496
* - Remove the (unnec) "All'" and "->'" macros.Eduardo Julian2015-08-2919-259/+260
* - Added some compiler optimizations.Eduardo Julian2015-08-2913-307/+215
* - Removed the (unnecessary) lux/data/cont module.Eduardo Julian2015-08-295-87/+93
* - Changed the name of AllT (for-all type) to UnivQ (universal quantification).Eduardo Julian2015-08-282-430/+460
* The environments of AllT types are no longer stored inside a Maybe.Eduardo Julian2015-08-281-29/+24
* Changed the license from EPL to MPL.Eduardo Julian2015-08-2839-273/+156
* Due to several performance issues and my inability to optimize them away due ...Eduardo Julian2015-08-287-497/+494
* - Restructuring how sums & products work [part 3]Eduardo Julian2015-08-237-172/+186
* - Restructuring how sums & products work [part 2]Eduardo Julian2015-08-231-72/+82
* - Restructuring how sums & products work [part 1]Eduardo Julian2015-08-231-255/+234
* - Finished turning tags into indices.Eduardo Julian2015-08-1719-467/+547
* Introduced named types (#NamedT Ident Type).Eduardo Julian2015-08-161-194/+235
* Unified tuples & records.Eduardo Julian2015-08-161-179/+152
* - Some clean-up of needless code.Eduardo Julian2015-08-161-171/+105
* - Changing tags so they're actually indices (part 4). Eduardo Julian2015-08-121-23/+4
* - Changing tags so they're actually indices (part 3). Eduardo Julian2015-08-121-50/+58
* - Changing tags so they're actually indices (part 2).Eduardo Julian2015-08-101-4/+4
* - Changing tags so they're actually indices (part 1).Eduardo Julian2015-08-101-118/+190
* - Local vars can now longer have prefixed symbols.Eduardo Julian2015-08-057-139/+152
* - The compiler now stores the cursor of the last analysed AST in order to avo...Eduardo Julian2015-08-052-15/+30
* - Struct definition no longer required prefixed members (now, it actually pro...Eduardo Julian2015-08-0419-356/+371
* - Renamed the Syntax type to AST.Eduardo Julian2015-08-0415-241/+271
* - Added a macro for exporting definitions (to not depend on the #export tag o...Eduardo Julian2015-08-046-32/+47
* - Type definitions inside the compiler data now hold the type itself.Eduardo Julian2015-08-034-22/+48
* Implemented text-interpolation through a macro ("<>") in lux/data/textEduardo Julian2015-08-036-24/+89
* - Added a module for hashing.Eduardo Julian2015-08-028-281/+431
* - Did some refactoring of the standard library.Eduardo Julian2015-07-3127-711/+1080
* - lux;using no longer prefixes variables.Eduardo Julian2015-07-2911-96/+67
* - Changed the name of lux/host/java to lux/host/jvmEduardo Julian2015-07-269-195/+145
* - Fixed a pattern-matching error where generalizations of types (universal-qu...Eduardo Julian2015-07-268-93/+133
* - The output directory is now being used as the cache.Eduardo Julian2015-07-2531-0/+5222
* - The directory for source-code is now named "input".Eduardo Julian2015-06-202-2184/+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-272-10/+8
* - 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-222-1003/+1074
* - Removed the apparently unnecessary total-locals.Eduardo Julian2015-05-142-14/+34
* - Changed the names of the tags of the Syntax type to differentiate them bett...Eduardo Julian2015-05-101-226/+226