aboutsummaryrefslogtreecommitdiff
path: root/source/lux.lux (follow)
Commit message (Expand)AuthorAgeFilesLines
* - Removed the Lux source from the repo, as it now belongs to the lux/stdlib p...Eduardo Julian2015-10-041-3303/+0
* - Changed the license in the project.clj file (had forgotten until now).Eduardo Julian2015-09-301-9/+32
* - Returned to old format of type-environments where odds are arguments & even...Eduardo Julian2015-09-291-43/+43
* - Added support for Java annotations.Eduardo Julian2015-09-261-2/+2
* - Both method declarations & method definitions in classes can now include de...Eduardo Julian2015-09-261-1/+1
* - Now the file-name & the line numbers are stored inside the .class files for...Eduardo Julian2015-09-161-21/+14
* - :: no longer demands prefixes for the struct membersEduardo Julian2015-09-151-2/+2
* - 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
* - Added exhaustiveness testing for exception-handling code.Eduardo Julian2015-09-121-2/+5
* - Primitive data-types can now be parameterized by other types.Eduardo Julian2015-09-121-20/+23
* - Updated the standard library.Eduardo Julian2015-09-111-141/+30
* - Added type inference for functions.Eduardo Julian2015-09-091-22/+24
* - Added the (untested) inference of tuple destructuring.Eduardo Julian2015-09-061-76/+67
* - Added type-inference when constructing tuples.Eduardo Julian2015-09-061-65/+61
* - Removed the (unnecessary) lux/meta/macro module.Eduardo Julian2015-09-061-44/+78
* - Expanded the standard library.Eduardo Julian2015-09-061-8/+8
* - 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-011-84/+112
* - Found a compromise with the issue of certain definitions clashing with each...Eduardo Julian2015-08-311-258/+258
* - Removed the (now obsolete) `' macro.Eduardo Julian2015-08-301-376/+413
* - Remove the (unnec) "All'" and "->'" macros.Eduardo Julian2015-08-291-145/+146
* - Added some compiler optimizations.Eduardo Julian2015-08-291-168/+174
* - Removed the (unnecessary) lux/data/cont module.Eduardo Julian2015-08-291-4/+41
* - Changed the name of AllT (for-all type) to UnivQ (universal quantification).Eduardo Julian2015-08-281-426/+456
* 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-281-7/+4
* Due to several performance issues and my inability to optimize them away due ...Eduardo Julian2015-08-281-445/+440
* - Restructuring how sums & products work [part 3]Eduardo Julian2015-08-231-118/+134
* - 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-171-336/+416
* 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-051-104/+116
* - The compiler now stores the cursor of the last analysed AST in order to avo...Eduardo Julian2015-08-051-12/+24
* - Struct definition no longer required prefixed members (now, it actually pro...Eduardo Julian2015-08-041-227/+242
* - Renamed the Syntax type to AST.Eduardo Julian2015-08-041-158/+158
* - Added a macro for exporting definitions (to not depend on the #export tag o...Eduardo Julian2015-08-041-19/+35
* - Type definitions inside the compiler data now hold the type itself.Eduardo Julian2015-08-031-7/+17
* - Added a module for hashing.Eduardo Julian2015-08-021-221/+340
* - Did some refactoring of the standard library.Eduardo Julian2015-07-311-504/+611
* - lux;using no longer prefixes variables.Eduardo Julian2015-07-291-2/+2
* - Changed the name of lux/host/java to lux/host/jvmEduardo Julian2015-07-261-13/+14
* - Fixed a pattern-matching error where generalizations of types (universal-qu...Eduardo Julian2015-07-261-39/+78