aboutsummaryrefslogtreecommitdiff
path: root/source/lux (follow)
Commit message (Expand)AuthorAgeFilesLines
* - 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-1512-57/+68
* - 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-121-5/+5
* - Added full support for arrays.Eduardo Julian2015-09-121-3/+11
* - Primitive data-types can now be parameterized by other types.Eduardo Julian2015-09-123-9/+22
* - Implemented the with-open macro.Eduardo Julian2015-09-112-5/+30
* - Updated the standard library.Eduardo Julian2015-09-1111-336/+168
* - 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-063-6/+5
* - Added type-inference when constructing tuples.Eduardo Julian2015-09-064-39/+46
* - Removed the (unnecessary) lux/meta/macro module.Eduardo Julian2015-09-0611-53/+12
* - Expanded the standard library.Eduardo Julian2015-09-0610-32/+321
* - Added a new (albeit small) I/O library with host-dependent functions.Eduardo Julian2015-09-024-34/+58
* - Added the lux/meta/type module (still missing equality due to an issue with...Eduardo Julian2015-09-011-0/+157
* - Added a macro to write recursive types.Eduardo Julian2015-09-012-19/+10
* - Found a compromise with the issue of certain definitions clashing with each...Eduardo Julian2015-08-318-115/+115
* - Added call/cc to lux/codata/lazy.Eduardo Julian2015-08-302-2/+8
* - Removed the (now obsolete) `' macro.Eduardo Julian2015-08-306-83/+83
* - Remove the (unnec) "All'" and "->'" macros.Eduardo Julian2015-08-2918-114/+114
* - Added some compiler optimizations.Eduardo Julian2015-08-2912-139/+41
* - Removed the (unnecessary) lux/data/cont module.Eduardo Julian2015-08-294-83/+52
* - Changed the name of AllT (for-all type) to UnivQ (universal quantification).Eduardo Julian2015-08-281-4/+4
* Changed the license from EPL to MPL.Eduardo Julian2015-08-2837-259/+148
* Due to several performance issues and my inability to optimize them away due ...Eduardo Julian2015-08-286-52/+54
* - Restructuring how sums & products work [part 3]Eduardo Julian2015-08-236-54/+52
* - Finished turning tags into indices.Eduardo Julian2015-08-1718-131/+131
* - Local vars can now longer have prefixed symbols.Eduardo Julian2015-08-056-35/+36
* - The compiler now stores the cursor of the last analysed AST in order to avo...Eduardo Julian2015-08-051-3/+6
* - Struct definition no longer required prefixed members (now, it actually pro...Eduardo Julian2015-08-0418-129/+129
* - Renamed the Syntax type to AST.Eduardo Julian2015-08-0413-81/+110
* - Added a macro for exporting definitions (to not depend on the #export tag o...Eduardo Julian2015-08-045-13/+12
* - Type definitions inside the compiler data now hold the type itself.Eduardo Julian2015-08-033-15/+31
* Implemented text-interpolation through a macro ("<>") in lux/data/textEduardo Julian2015-08-035-21/+85
* - Added a module for hashing.Eduardo Julian2015-08-026-60/+90
* - Did some refactoring of the standard library.Eduardo Julian2015-07-3125-193/+452
* - lux;using no longer prefixes variables.Eduardo Julian2015-07-299-89/+60
* - Changed the name of lux/host/java to lux/host/jvmEduardo Julian2015-07-267-181/+130
* - Fixed a pattern-matching error where generalizations of types (universal-qu...Eduardo Julian2015-07-266-53/+54
* - The output directory is now being used as the cache.Eduardo Julian2015-07-2529-0/+2390