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
Commit message (
Expand
)
Author
Age
Files
Lines
*
- Ported caching machinery for default compiler.
Eduardo Julian
2018-07-10
6
-172
/
+153
*
- Re-implemented sets using abstract types to make it impossible to use dicti...
Eduardo Julian
2018-07-10
2
-136
/
+141
*
- Re-named "struct" to "structure".
Eduardo Julian
2018-07-10
7
-52
/
+50
*
- Re-named "struct:" to "structure:".
Eduardo Julian
2018-07-10
69
-204
/
+204
*
- Re-named "sig:" to "signature:".
Eduardo Julian
2018-07-10
21
-24
/
+24
*
- Fixes: Part 3.
Eduardo Julian
2018-07-09
2
-110
/
+105
*
- Fixes: Part 2.
Eduardo Julian
2018-07-09
17
-82
/
+82
*
- Fixes: Part 1.
Eduardo Julian
2018-07-09
4
-9
/
+5
*
- Fixes: Part 0.
Eduardo Julian
2018-07-09
3
-43
/
+29
*
- Ported caching machinery for Lux Meta-Compiler to stdlib.
Eduardo Julian
2018-07-08
11
-300
/
+355
*
- Moved LuxC's I/O to stdlib.
Eduardo Julian
2018-07-08
6
-238
/
+408
*
- Moved the type-based value representation of the REPL into the standard lib...
Eduardo Julian
2018-07-07
2
-199
/
+201
*
- Implemented document archiving. It will play a crucial role later when LuxC...
Eduardo Julian
2018-07-07
1
-0
/
+87
*
- Implemented ":share" macro for easier type-sharing when casting.
Eduardo Julian
2018-07-07
2
-3
/
+26
*
- Improved syntax for functions.
Eduardo Julian
2018-07-07
4
-67
/
+63
*
- Improved syntax for pattern-matching.
Eduardo Julian
2018-07-07
6
-449
/
+435
*
- Binary (de)serialization module.
Eduardo Julian
2018-07-05
4
-45
/
+237
*
- Re-named "equality" to "equivalence".
Eduardo Julian
2018-07-05
123
-545
/
+534
*
- Removed "alias:" due to the potential for introducing confusion due to havi...
Eduardo Julian
2018-07-04
7
-43
/
+25
*
- Re-named "degree" to "revolution".
Eduardo Julian
2018-07-04
74
-593
/
+507
*
- Re-named Bound to Paremeter.
Eduardo Julian
2018-07-04
23
-166
/
+166
*
- Deleted useless old LuxC tests.
Eduardo Julian
2018-07-04
4
-1056
/
+0
*
- Test (and fix) that global-reference analysis only allows you to see defini...
Eduardo Julian
2018-07-04
3
-30
/
+94
*
- When a method/constructor is not found, the signatures of alternatives with...
Eduardo Julian
2018-07-04
5
-109
/
+177
*
- "with-stack" function for stacking exceptions.
Eduardo Julian
2018-07-04
5
-51
/
+52
*
- "lux/data/text/buffer" module, with platform-specific implementations of co...
Eduardo Julian
2018-07-04
1
-0
/
+72
*
- Implemented ":cast" macro, and used it to implement both ":abstraction" and...
Eduardo Julian
2018-07-04
8
-102
/
+123
*
- Implemented not-a-number and both infinities in pure Lux.
Eduardo Julian
2018-07-04
15
-141
/
+7
*
- Can now refine random generators.
Eduardo Julian
2018-07-03
1
-0
/
+13
*
- Improved abstract types.
Eduardo Julian
2018-07-03
10
-107
/
+50
*
- Improved syntax for numeric literals by allowing arbitrary zeroes (0) at th...
Eduardo Julian
2018-07-03
2
-11
/
+9
*
- Re-named "stream" to "sequence".
Eduardo Julian
2018-07-03
3
-46
/
+46
*
- Re-named "sequence" to "row".
Eduardo Julian
2018-07-03
14
-149
/
+148
*
- Re-named "import" to "import:".
Eduardo Julian
2018-07-03
48
-252
/
+252
*
- Re-named "Ref" to "Refined".
Eduardo Julian
2018-07-03
1
-10
/
+10
*
- Removed "lux/math/constructive".
Eduardo Julian
2018-07-03
2
-257
/
+0
*
- Re-named "@abstraction" to ":abstraction" and "@representation" to ":repres...
Eduardo Julian
2018-07-03
26
-289
/
+289
*
- Re-named ":!" to ":coerce".
Eduardo Julian
2018-07-03
79
-625
/
+625
*
- Added function for updating dictionary.
Eduardo Julian
2018-07-03
1
-0
/
+6
*
- Re-named ":!!" to ":assume".
Eduardo Julian
2018-07-03
7
-11
/
+11
*
- Heavy refactoring to integrate extensions better with the rest of the compi...
Eduardo Julian
2018-06-17
53
-1260
/
+1172
*
- Migrated Scheme back-end to stdlib.
Eduardo Julian
2018-06-17
37
-1817
/
+1860
*
- WIP: Adjustments to new-luxc based on recent changes to stdlib.
Eduardo Julian
2018-06-15
80
-527
/
+491
*
- Re-named "Special" to "Extension".
Eduardo Julian
2018-06-14
8
-73
/
+76
*
- Refactored generic compiler infrastructure.
Eduardo Julian
2018-06-14
10
-148
/
+155
*
- Refactored references.
Eduardo Julian
2018-06-14
13
-135
/
+147
*
- Minor refactorings.
Eduardo Julian
2018-06-14
6
-30
/
+48
*
- Migrated synthesis to stdlib.
Eduardo Julian
2018-06-14
12
-422
/
+661
*
- Added filter/partition functionality to refinement types.
Eduardo Julian
2018-05-26
1
-1
/
+35
*
- WIP: Migrated synthesis to stdlib.
Eduardo Julian
2018-05-26
26
-773
/
+1098
[next]