| Commit message (Expand) | Author | Age | Files | Lines |
... | |
| * | - Changed the name of the \stream macro to \stream& | Eduardo Julian | 2015-09-16 | 1 | -7/+7 |
| * | - :: no longer demands prefixes for the struct members | Eduardo Julian | 2015-09-15 | 14 | -60/+71 |
| * | - The Macro type now flows from lux.lux into the compiler, to achieve a perfe... | Eduardo Julian | 2015-09-15 | 4 | -222/+17 |
| * | - Compiler now takes into consideration exceptions that can be thrown by cons... | Eduardo Julian | 2015-09-15 | 5 | -71/+72 |
| * | - Renamed "this" to "_jvm_this". | Eduardo Julian | 2015-09-14 | 5 | -9/+10 |
| * | - Added the possibility to define anonymous classes. | Eduardo Julian | 2015-09-14 | 13 | -396/+607 |
| * | - Fixed bug wherein mutual recursion could occur between modules. | Eduardo Julian | 2015-09-13 | 4 | -9/+49 |
| * | - Expanded the lux/host/jvm library. | Eduardo Julian | 2015-09-13 | 2 | -24/+138 |
| * | - Added exhaustiveness testing for exception-handling code. | Eduardo Julian | 2015-09-12 | 14 | -116/+196 |
| * | - Added exhaustiveness testing for class definition. | Eduardo Julian | 2015-09-12 | 2 | -2/+32 |
| * | - Fixed some errors with JVM interop. | Eduardo Julian | 2015-09-12 | 3 | -100/+128 |
| * | - Added full support for arrays. | Eduardo Julian | 2015-09-12 | 7 | -66/+325 |
| * | - Primitive data-types can now be parameterized by other types. | Eduardo Julian | 2015-09-12 | 10 | -195/+190 |
| * | - Abandoned the old format for classes of having module names separated by un... | Eduardo Julian | 2015-09-11 | 6 | -25/+35 |
| * | - Implemented the with-open macro. | Eduardo Julian | 2015-09-11 | 8 | -226/+251 |
| * | - Updated the standard library. | Eduardo Julian | 2015-09-11 | 12 | -477/+198 |
| * | - Added inference during construction of variants. | Eduardo Julian | 2015-09-10 | 3 | -44/+98 |
| * | - Implemented inference for constructing records. | Eduardo Julian | 2015-09-10 | 6 | -207/+139 |
| * | - Added type inference for functions. | Eduardo Julian | 2015-09-09 | 5 | -90/+148 |
| * | - A few minor fixes in the standard library. | Eduardo Julian | 2015-09-08 | 10 | -131/+154 |
| * | - Type checking of polymorphic functions now relies on ExT types to guarantee... | Eduardo Julian | 2015-09-07 | 6 | -105/+110 |
| * | - Added the (untested) inference of tuple destructuring. | Eduardo Julian | 2015-09-06 | 8 | -119/+134 |
| * | - Added type-inference when constructing tuples. | Eduardo Julian | 2015-09-06 | 11 | -147/+167 |
| * | - Removed the (unnecessary) lux/meta/macro module. | Eduardo Julian | 2015-09-06 | 13 | -98/+90 |
| * | - Expanded the standard library. | Eduardo Julian | 2015-09-06 | 14 | -79/+350 |
| * | Tests for the parser. | Eduardo Julian | 2015-09-03 | 3 | -0/+279 |
| * | Added a lightweight code of conduct for the community. | Eduardo Julian | 2015-09-02 | 1 | -0/+22 |
| * | - Added a new (albeit small) I/O library with host-dependent functions. | Eduardo Julian | 2015-09-02 | 6 | -47/+77 |
| * | - Added the lux/meta/type module (still missing equality due to an issue with... | Eduardo Julian | 2015-09-01 | 1 | -0/+157 |
| * | - Fixed the implementation of the Rec macro, which forgot to do application o... | Eduardo Julian | 2015-09-01 | 3 | -60/+114 |
| * | - Added a macro to write recursive types. | Eduardo Julian | 2015-09-01 | 5 | -118/+139 |
| * | - Compiler no longer allows an alias to be reused for another module when imp... | Eduardo Julian | 2015-08-31 | 2 | -14/+17 |
| * | - Found a compromise with the issue of certain definitions clashing with each... | Eduardo Julian | 2015-08-31 | 10 | -376/+379 |
| * | - Added call/cc to lux/codata/lazy. | Eduardo Julian | 2015-08-30 | 5 | -37/+42 |
| * | - Added unit-tests for lexer. | Eduardo Julian | 2015-08-30 | 4 | -34/+281 |
| * | - Removed the (now obsolete) `' macro. | Eduardo Julian | 2015-08-30 | 7 | -459/+496 |
| * | - Remove the (unnec) "All'" and "->'" macros. | Eduardo Julian | 2015-08-29 | 22 | -274/+331 |
| * | - Added some compiler optimizations. | Eduardo Julian | 2015-08-29 | 22 | -544/+444 |
| * | - Removed the (unnecessary) lux/data/cont module. | Eduardo Julian | 2015-08-29 | 6 | -88/+94 |
| * | - Changed the name of AllT (for-all type) to UnivQ (universal quantification). | Eduardo Julian | 2015-08-28 | 11 | -760/+750 |
| * | The environments of AllT types are no longer stored inside a Maybe. | Eduardo Julian | 2015-08-28 | 3 | -72/+48 |
| * | Changed the license from EPL to MPL. | Eduardo Julian | 2015-08-28 | 70 | -731/+643 |
| * | Due to several performance issues and my inability to optimize them away due ... | Eduardo Julian | 2015-08-28 | 30 | -2288/+2320 |
| * | - Restructuring how sums & products work [part 3] | Eduardo Julian | 2015-08-23 | 10 | -190/+205 |
| * | - Restructuring how sums & products work [part 2] | Eduardo Julian | 2015-08-23 | 9 | -111/+158 |
| * | - Restructuring how sums & products work [part 1] | Eduardo Julian | 2015-08-23 | 24 | -2053/+1959 |
| * | - Tags data is now stored in the cache. | Eduardo Julian | 2015-08-18 | 8 | -45/+168 |
| * | - Finished turning tags into indices. | Eduardo Julian | 2015-08-17 | 29 | -556/+696 |
| * | Introduced named types (#NamedT Ident Type). | Eduardo Julian | 2015-08-16 | 6 | -392/+474 |
| * | Unified tuples & records. | Eduardo Julian | 2015-08-16 | 7 | -266/+174 |