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
/
stdlib
/
source
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
- 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
1
-2
/
+25
*
- Improved syntax for functions.
Eduardo Julian
2018-07-07
2
-57
/
+53
*
- Improved syntax for pattern-matching.
Eduardo Julian
2018-07-07
5
-444
/
+430
*
- Binary (de)serialization module.
Eduardo Julian
2018-07-05
4
-45
/
+237
*
- Re-named "equality" to "equivalence".
Eduardo Julian
2018-07-05
55
-266
/
+266
*
- Removed "alias:" due to the potential for introducing confusion due to havi...
Eduardo Julian
2018-07-04
6
-42
/
+24
*
- Re-named "degree" to "revolution".
Eduardo Julian
2018-07-04
24
-276
/
+258
*
- Re-named Bound to Paremeter.
Eduardo Julian
2018-07-04
11
-95
/
+95
*
- Test (and fix) that global-reference analysis only allows you to see defini...
Eduardo Julian
2018-07-04
2
-15
/
+35
*
- 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
7
-100
/
+121
*
- Implemented not-a-number and both infinities in pure Lux.
Eduardo Julian
2018-07-04
3
-21
/
+5
*
- Can now refine random generators.
Eduardo Julian
2018-07-03
1
-0
/
+13
*
- Improved abstract types.
Eduardo Julian
2018-07-03
1
-39
/
+26
*
- Re-named "stream" to "sequence".
Eduardo Julian
2018-07-03
1
-32
/
+32
*
- Re-named "sequence" to "row".
Eduardo Julian
2018-07-03
10
-116
/
+115
*
- Re-named "import" to "import:".
Eduardo Julian
2018-07-03
9
-51
/
+51
*
- Re-named "Ref" to "Refined".
Eduardo Julian
2018-07-03
1
-10
/
+10
*
- Removed "lux/math/constructive".
Eduardo Julian
2018-07-03
1
-199
/
+0
*
- Re-named "@abstraction" to ":abstraction" and "@representation" to ":repres...
Eduardo Julian
2018-07-03
21
-132
/
+132
*
- Re-named ":!" to ":coerce".
Eduardo Julian
2018-07-03
16
-70
/
+70
*
- Added function for updating dictionary.
Eduardo Julian
2018-07-03
1
-0
/
+6
*
- Re-named ":!!" to ":assume".
Eduardo Julian
2018-07-03
5
-8
/
+8
*
- Heavy refactoring to integrate extensions better with the rest of the compi...
Eduardo Julian
2018-06-17
42
-1234
/
+1146
*
- Migrated Scheme back-end to stdlib.
Eduardo Julian
2018-06-17
24
-97
/
+1909
*
- WIP: Adjustments to new-luxc based on recent changes to stdlib.
Eduardo Julian
2018-06-15
1
-1
/
+11
*
- Re-named "Special" to "Extension".
Eduardo Julian
2018-06-14
8
-73
/
+76
*
- Refactored generic compiler infrastructure.
Eduardo Julian
2018-06-14
6
-136
/
+128
*
- Refactored references.
Eduardo Julian
2018-06-14
9
-120
/
+128
*
- Minor refactorings.
Eduardo Julian
2018-06-14
6
-30
/
+48
*
- Migrated synthesis to stdlib.
Eduardo Julian
2018-06-14
8
-260
/
+594
*
- 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
13
-61
/
+784
*
- Minor improvements.
Eduardo Julian
2018-05-23
4
-54
/
+57
*
- Minor improvements.
Eduardo Julian
2018-05-23
2
-3
/
+14
*
- Migrated special-form analysis to stdlib.
Eduardo Julian
2018-05-23
8
-21
/
+1843
*
- Re-named "Top" to "Any", and "Bottom" to "Nothing".
Eduardo Julian
2018-05-20
51
-211
/
+211
*
- Migrated pattern-matching analysis to stdlib.
Eduardo Julian
2018-05-20
4
-47
/
+667
*
- Migrated function analysis to stdlib.
Eduardo Julian
2018-05-16
4
-7
/
+136
*
- Migrated reference analysis to stdlib.
Eduardo Julian
2018-05-16
3
-3
/
+232
*
- Migrated structure analysis to stdlib.
Eduardo Julian
2018-05-16
8
-9
/
+1106
*
- Migrated primitive analysis to stdlib.
Eduardo Julian
2018-05-15
5
-0
/
+361
*
- Added dedicated unicode support for text.
Eduardo Julian
2018-05-13
5
-139
/
+436
*
- "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
38
-38
/
+42
*
- Added new #I64 type as foundation for types based on 64-bit integers.
Eduardo Julian
2018-05-13
48
-667
/
+644
*
- Implemented Deg(ree) reciprocal & conversions Deg<->Frac.
Eduardo Julian
2018-05-12
2
-18
/
+72
[next]