aboutsummaryrefslogtreecommitdiff
path: root/source (follow)
Commit message (Expand)AuthorAgeFilesLines
* - Changed the license in the project.clj file (had forgotten until now).Eduardo Julian2015-09-309-89/+162
* - Returned to old format of type-environments where odds are arguments & even...Eduardo Julian2015-09-291-43/+43
* - Removed reflection warnings.Eduardo Julian2015-09-281-1/+1
* - Added a rule that Void is a subtype of every other type.Eduardo Julian2015-09-281-1/+1
* - Added generics support for object field access (getting & setting).Eduardo Julian2015-09-271-0/+1
* - Added support for type-checking generic classes.Eduardo Julian2015-09-271-19/+16
* - Added support for Java annotations.Eduardo Julian2015-09-263-15/+81
* - Both method declarations & method definitions in classes can now include de...Eduardo Julian2015-09-263-16/+69
* - Now the file-name & the line numbers are stored inside the .class files for...Eduardo Julian2015-09-164-27/+25
* - Changed the name of the \stream macro to \stream&Eduardo Julian2015-09-161-7/+7
* - :: no longer demands prefixes for the struct membersEduardo Julian2015-09-1513-59/+70
* - The Macro type now flows from lux.lux into the compiler, to achieve a perfe...Eduardo Julian2015-09-151-20/+3
* - Compiler now takes into consideration exceptions that can be thrown by cons...Eduardo Julian2015-09-151-43/+43
* - Renamed "this" to "_jvm_this".Eduardo Julian2015-09-142-4/+4
* - Added the possibility to define anonymous classes.Eduardo Julian2015-09-146-147/+217
* - Expanded the lux/host/jvm library.Eduardo Julian2015-09-132-24/+138
* - Added exhaustiveness testing for exception-handling code.Eduardo Julian2015-09-122-7/+10
* - Added full support for arrays.Eduardo Julian2015-09-121-3/+11
* - Primitive data-types can now be parameterized by other types.Eduardo Julian2015-09-124-29/+45
* - Implemented the with-open macro.Eduardo Julian2015-09-112-5/+30
* - Updated the standard library.Eduardo Julian2015-09-1112-477/+198
* - Added type inference for functions.Eduardo Julian2015-09-091-22/+24
* - 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 23:31:54 +0000