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
/
src
/
lux
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
- Implemented inference for constructing records.
Eduardo Julian
2015-09-10
6
-207
/
+139
*
- Added type inference for functions.
Eduardo Julian
2015-09-09
4
-68
/
+124
*
- A few minor fixes in the standard library.
Eduardo Julian
2015-09-08
3
-101
/
+112
*
- Type checking of polymorphic functions now relies on ExT types to guarantee...
Eduardo Julian
2015-09-07
4
-102
/
+105
*
- Added the (untested) inference of tuple destructuring.
Eduardo Julian
2015-09-06
4
-37
/
+62
*
- Added type-inference when constructing tuples.
Eduardo Julian
2015-09-06
6
-43
/
+60
*
- Expanded the standard library.
Eduardo Julian
2015-09-06
2
-37
/
+18
*
- Added a new (albeit small) I/O library with host-dependent functions.
Eduardo Julian
2015-09-02
1
-1
/
+1
*
- Fixed the implementation of the Rec macro, which forgot to do application o...
Eduardo Julian
2015-09-01
2
-0
/
+3
*
- Added a macro to write recursive types.
Eduardo Julian
2015-09-01
1
-0
/
+3
*
- 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
1
-3
/
+6
*
- Added call/cc to lux/codata/lazy.
Eduardo Julian
2015-08-30
3
-35
/
+34
*
- Added unit-tests for lexer.
Eduardo Julian
2015-08-30
2
-32
/
+15
*
- Remove the (unnec) "All'" and "->'" macros.
Eduardo Julian
2015-08-29
2
-15
/
+14
*
- Added some compiler optimizations.
Eduardo Julian
2015-08-29
9
-237
/
+229
*
- Removed the (unnecessary) lux/data/cont module.
Eduardo Julian
2015-08-29
1
-1
/
+1
*
- Changed the name of AllT (for-all type) to UnivQ (universal quantification).
Eduardo Julian
2015-08-28
9
-330
/
+290
*
The environments of AllT types are no longer stored inside a Maybe.
Eduardo Julian
2015-08-28
2
-43
/
+24
*
Changed the license from EPL to MPL.
Eduardo Julian
2015-08-28
27
-189
/
+108
*
Due to several performance issues and my inability to optimize them away due ...
Eduardo Julian
2015-08-28
23
-1791
/
+1826
*
- Restructuring how sums & products work [part 3]
Eduardo Julian
2015-08-23
3
-18
/
+19
*
- Restructuring how sums & products work [part 2]
Eduardo Julian
2015-08-23
8
-39
/
+76
*
- Restructuring how sums & products work [part 1]
Eduardo Julian
2015-08-23
23
-1798
/
+1725
*
- 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
10
-89
/
+149
*
Introduced named types (#NamedT Ident Type).
Eduardo Julian
2015-08-16
5
-198
/
+239
*
Unified tuples & records.
Eduardo Julian
2015-08-16
6
-87
/
+22
*
- Changing tags so they're actually indices (part 4).
Eduardo Julian
2015-08-12
3
-15
/
+69
*
- Changing tags so they're actually indices (part 3).
Eduardo Julian
2015-08-12
14
-291
/
+370
*
- Changing tags so they're actually indices (part 2).
Eduardo Julian
2015-08-10
7
-177
/
+222
*
- Changing tags so they're actually indices (part 1).
Eduardo Julian
2015-08-10
9
-236
/
+462
*
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
5
-115
/
+118
*
- The compiler now stores the cursor of the last analysed AST in order to avo...
Eduardo Julian
2015-08-05
3
-30
/
+49
*
- Renamed the Syntax type to AST.
Eduardo Julian
2015-08-04
1
-15
/
+15
*
- Type definitions inside the compiler data now hold the type itself.
Eduardo Julian
2015-08-03
14
-108
/
+161
*
- Added a module for hashing.
Eduardo Julian
2015-08-02
6
-74
/
+121
*
- Did some refactoring of the standard library.
Eduardo Julian
2015-07-31
4
-116
/
+138
*
- lux;using no longer prefixes variables.
Eduardo Julian
2015-07-29
11
-362
/
+537
*
- Changed the name of lux/host/java to lux/host/jvm
Eduardo Julian
2015-07-26
5
-48
/
+29
*
- Fixed a pattern-matching error where generalizations of types (universal-qu...
Eduardo Julian
2015-07-26
9
-141
/
+234
*
- The output directory is now being used as the cache.
Eduardo Julian
2015-07-25
5
-157
/
+164
[next]