aboutsummaryrefslogtreecommitdiff
path: root/source (follow)
Commit message (Expand)AuthorAgeFilesLines
* - A few minor fixes in the standard library.Eduardo Julian2015-09-087-30/+42
* - Type checking of polymorphic functions now relies on ExT types to guarantee...Eduardo Julian2015-09-072-3/+5
* - Added the (untested) inference of tuple destructuring.Eduardo Julian2015-09-064-82/+72
* - Added type-inference when constructing tuples.Eduardo Julian2015-09-065-104/+107
* - Removed the (unnecessary) lux/meta/macro module.Eduardo Julian2015-09-0613-98/+90
* - Expanded the standard library.Eduardo Julian2015-09-0612-42/+332
* - 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 15:03:03 +0000