| Commit message (Expand) | Author | Age | Files | Lines |
... | |
| * | - 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 |
| * | - Some clean-up of needless code. | Eduardo Julian | 2015-08-16 | 1 | -171/+105 |
| * | - Changing tags so they're actually indices (part 4). | Eduardo Julian | 2015-08-12 | 4 | -38/+73 |
| * | - Changing tags so they're actually indices (part 3). | Eduardo Julian | 2015-08-12 | 16 | -341/+689 |
| * | - Changing tags so they're actually indices (part 2). | Eduardo Julian | 2015-08-10 | 8 | -181/+226 |
| * | - Changing tags so they're actually indices (part 1). | Eduardo Julian | 2015-08-10 | 10 | -354/+652 |
| * | Refactored the tags for the analyser. | Eduardo Julian | 2015-08-08 | 9 | -223/+340 |
| * | Refactored the tags of definitions. | Eduardo Julian | 2015-08-08 | 5 | -25/+33 |
| * | Refactored tags for pattern-matching and vars. | Eduardo Julian | 2015-08-08 | 6 | -77/+108 |
| * | More refactoring of tags, this time for reader, lexer & parser. | Eduardo Julian | 2015-08-08 | 4 | -46/+94 |
| * | More factoring of tags. | Eduardo Julian | 2015-08-06 | 10 | -317/+335 |
| * | Started factoring out the tags used in variants within the compiler. | Eduardo Julian | 2015-08-06 | 16 | -468/+487 |
| * | - Fixed some errors with argument ordering with JVM arithmetic ops. | Eduardo Julian | 2015-08-06 | 2 | -41/+41 |
| * | - Refacted the compiler by shifting to a pattern-matching syntax more akin to... | Eduardo Julian | 2015-08-06 | 20 | -1111/+1141 |
| * | - Local vars can now longer have prefixed symbols. | Eduardo Julian | 2015-08-05 | 12 | -254/+270 |
| * | - The compiler now stores the cursor of the last analysed AST in order to avo... | Eduardo Julian | 2015-08-05 | 5 | -45/+79 |
| * | - Struct definition no longer required prefixed members (now, it actually pro... | Eduardo Julian | 2015-08-04 | 19 | -356/+371 |
| * | - Renamed the Syntax type to AST. | Eduardo Julian | 2015-08-04 | 16 | -256/+286 |
| * | - Added a macro for exporting definitions (to not depend on the #export tag o... | Eduardo Julian | 2015-08-04 | 6 | -32/+47 |
| * | - Type definitions inside the compiler data now hold the type itself. | Eduardo Julian | 2015-08-03 | 19 | -131/+210 |
| * | Implemented text-interpolation through a macro ("<>") in lux/data/text | Eduardo Julian | 2015-08-03 | 6 | -24/+89 |