index
:
lux
master
fork of https://github.com/LuxLang/lux for my bookshelf
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
source
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
- Type checking of polymorphic functions now relies on ExT types to guarantee...
Eduardo Julian
2015-09-07
2
-3
/
+5
*
- Added the (untested) inference of tuple destructuring.
Eduardo Julian
2015-09-06
4
-82
/
+72
*
- Added type-inference when constructing tuples.
Eduardo Julian
2015-09-06
5
-104
/
+107
*
- Removed the (unnecessary) lux/meta/macro module.
Eduardo Julian
2015-09-06
13
-98
/
+90
*
- Expanded the standard library.
Eduardo Julian
2015-09-06
12
-42
/
+332
*
- Added a new (albeit small) I/O library with host-dependent functions.
Eduardo Julian
2015-09-02
5
-46
/
+76
*
- 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
1
-60
/
+111
*
- Added a macro to write recursive types.
Eduardo Julian
2015-09-01
4
-118
/
+136
*
- Found a compromise with the issue of certain definitions clashing with each...
Eduardo Julian
2015-08-31
9
-373
/
+373
*
- Added call/cc to lux/codata/lazy.
Eduardo Julian
2015-08-30
2
-2
/
+8
*
- Removed the (now obsolete) `' macro.
Eduardo Julian
2015-08-30
7
-459
/
+496
*
- Remove the (unnec) "All'" and "->'" macros.
Eduardo Julian
2015-08-29
19
-259
/
+260
*
- Added some compiler optimizations.
Eduardo Julian
2015-08-29
13
-307
/
+215
*
- Removed the (unnecessary) lux/data/cont module.
Eduardo Julian
2015-08-29
5
-87
/
+93
*
- Changed the name of AllT (for-all type) to UnivQ (universal quantification).
Eduardo Julian
2015-08-28
2
-430
/
+460
*
The environments of AllT types are no longer stored inside a Maybe.
Eduardo Julian
2015-08-28
1
-29
/
+24
*
Changed the license from EPL to MPL.
Eduardo Julian
2015-08-28
39
-273
/
+156
*
Due to several performance issues and my inability to optimize them away due ...
Eduardo Julian
2015-08-28
7
-497
/
+494
*
- Restructuring how sums & products work [part 3]
Eduardo Julian
2015-08-23
7
-172
/
+186
*
- Restructuring how sums & products work [part 2]
Eduardo Julian
2015-08-23
1
-72
/
+82
*
- Restructuring how sums & products work [part 1]
Eduardo Julian
2015-08-23
1
-255
/
+234
*
- Finished turning tags into indices.
Eduardo Julian
2015-08-17
19
-467
/
+547
*
Introduced named types (#NamedT Ident Type).
Eduardo Julian
2015-08-16
1
-194
/
+235
*
Unified tuples & records.
Eduardo Julian
2015-08-16
1
-179
/
+152
*
- 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
1
-23
/
+4
*
- Changing tags so they're actually indices (part 3).
Eduardo Julian
2015-08-12
1
-50
/
+58
*
- Changing tags so they're actually indices (part 2).
Eduardo Julian
2015-08-10
1
-4
/
+4
*
- Changing tags so they're actually indices (part 1).
Eduardo Julian
2015-08-10
1
-118
/
+190
*
- Local vars can now longer have prefixed symbols.
Eduardo Julian
2015-08-05
7
-139
/
+152
*
- The compiler now stores the cursor of the last analysed AST in order to avo...
Eduardo Julian
2015-08-05
2
-15
/
+30
*
- 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
15
-241
/
+271
*
- 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
4
-22
/
+48
*
Implemented text-interpolation through a macro ("<>") in lux/data/text
Eduardo Julian
2015-08-03
6
-24
/
+89
*
- Added a module for hashing.
Eduardo Julian
2015-08-02
8
-281
/
+431
*
- Did some refactoring of the standard library.
Eduardo Julian
2015-07-31
27
-711
/
+1080
*
- lux;using no longer prefixes variables.
Eduardo Julian
2015-07-29
11
-96
/
+67
*
- Changed the name of lux/host/java to lux/host/jvm
Eduardo Julian
2015-07-26
9
-195
/
+145
*
- Fixed a pattern-matching error where generalizations of types (universal-qu...
Eduardo Julian
2015-07-26
8
-93
/
+133
*
- The output directory is now being used as the cache.
Eduardo Julian
2015-07-25
31
-0
/
+5222
*
- The directory for source-code is now named "input".
Eduardo Julian
2015-06-20
2
-2184
/
+0
*
- Added imports.
Eduardo Julian
2015-06-12
1
-18
/
+24
*
- Reimplemented module-aliasing.
Eduardo Julian
2015-06-10
1
-26
/
+35
*
- Put definition metadata into the generated .class files.
Eduardo Julian
2015-06-09
1
-23
/
+6
*
- Finished _jvm-interface_ & _jvm-class_.
Eduardo Julian
2015-05-31
1
-93
/
+114
*
- _jvm_program now relies on the (IO (,)) type.
Eduardo Julian
2015-05-27
2
-10
/
+8
*
- Now using an in-memory class-loader.
Eduardo Julian
2015-05-26
1
-2
/
+4
[next]