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
*
- 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
*
- Minor improvements.
Eduardo Julian
2018-05-23
5
-56
/
+59
*
- Minor improvements.
Eduardo Julian
2018-05-23
2
-3
/
+14
*
- Migrated special-form analysis to stdlib.
Eduardo Julian
2018-05-23
12
-582
/
+557
*
- Re-named "Top" to "Any", and "Bottom" to "Nothing".
Eduardo Julian
2018-05-20
132
-787
/
+636
*
- Migrated pattern-matching analysis to stdlib.
Eduardo Julian
2018-05-20
8
-305
/
+280
*
- Migrated function analysis to stdlib.
Eduardo Julian
2018-05-16
9
-307
/
+248
*
- Migrated reference analysis to stdlib.
Eduardo Julian
2018-05-16
9
-151
/
+141
*
- Migrated structure analysis to stdlib.
Eduardo Julian
2018-05-16
18
-1350
/
+1253
*
- Migrated primitive analysis to stdlib.
Eduardo Julian
2018-05-15
10
-245
/
+424
*
- Added dedicated unicode support for text.
Eduardo Julian
2018-05-13
17
-169
/
+466
*
- "lux/data/coll/bits" now uses I64 instead of Nat.
Eduardo Julian
2018-05-13
1
-20
/
+24
*
- Re-named ".../eq" modules to ".../equality".
Eduardo Julian
2018-05-13
51
-57
/
+57
*
- Added new #I64 type as foundation for types based on 64-bit integers.
Eduardo Julian
2018-05-13
87
-956
/
+944
*
- Implemented Deg(ree) reciprocal & conversions Deg<->Frac.
Eduardo Julian
2018-05-12
4
-24
/
+84
*
- Some improvements and fixes for stdlib.
Eduardo Julian
2018-05-10
7
-77
/
+50
*
- Adjusted new-luxc to latest changes.
Eduardo Julian
2018-05-10
9
-46
/
+43
*
- Re-named "Compiler" type to "Lux".
Eduardo Julian
2018-05-10
18
-69
/
+66
*
- Improved tests for Eq(uality) and Blob.
Eduardo Julian
2018-05-09
2
-79
/
+58
*
- Improved random-generation of Frac numbers.
Eduardo Julian
2018-05-08
1
-8
/
+1
*
- Improved the way Bool values are parsed.
Eduardo Julian
2018-05-08
2
-39
/
+33
*
- Re-named "lux process concurrency-level" to "lux process parallelism-level".
Eduardo Julian
2018-05-08
24
-203
/
+120
*
- Improved the way "lux program" is analysed and compiled.
Eduardo Julian
2018-05-08
4
-53
/
+51
*
- Went back to the old way of loading classes...
Eduardo Julian
2018-05-07
1
-3
/
+2
*
- Implemented bit-count in pure Lux.
Eduardo Julian
2018-05-07
18
-159
/
+31
*
- Implemented Deg functionality in pure Lux.
Eduardo Julian
2018-05-07
25
-1182
/
+207
*
- Removed (outdated) JS back-end from old LuxC.
Eduardo Julian
2018-05-06
8
-2381
/
+3
[next]