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
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2018-07-04
- Re-named "degree" to "revolution".
Eduardo Julian
36
-414
/
+396
2018-07-04
- Re-named Bound to Paremeter.
Eduardo Julian
13
-100
/
+100
2018-07-04
- Test (and fix) that global-reference analysis only allows you to see defini...
Eduardo Julian
3
-30
/
+94
2018-07-04
- When a method/constructor is not found, the signatures of alternatives with...
Eduardo Julian
5
-109
/
+177
2018-07-04
- "with-stack" function for stacking exceptions.
Eduardo Julian
5
-51
/
+52
2018-07-04
- "lux/data/text/buffer" module, with platform-specific implementations of co...
Eduardo Julian
1
-0
/
+72
2018-07-04
- Implemented ":cast" macro, and used it to implement both ":abstraction" and...
Eduardo Julian
7
-100
/
+121
2018-07-04
- Implemented not-a-number and both infinities in pure Lux.
Eduardo Julian
4
-27
/
+5
2018-07-03
- Can now refine random generators.
Eduardo Julian
1
-0
/
+13
2018-07-03
- Improved abstract types.
Eduardo Julian
1
-39
/
+26
2018-07-03
- Re-named "stream" to "sequence".
Eduardo Julian
2
-44
/
+44
2018-07-03
- Re-named "sequence" to "row".
Eduardo Julian
13
-148
/
+147
2018-07-03
- Re-named "import" to "import:".
Eduardo Julian
10
-56
/
+56
2018-07-03
- Re-named "Ref" to "Refined".
Eduardo Julian
1
-10
/
+10
2018-07-03
- Removed "lux/math/constructive".
Eduardo Julian
2
-257
/
+0
2018-07-03
- Re-named "@abstraction" to ":abstraction" and "@representation" to ":repres...
Eduardo Julian
21
-132
/
+132
2018-07-03
- Re-named ":!" to ":coerce".
Eduardo Julian
22
-76
/
+76
2018-07-03
- Added function for updating dictionary.
Eduardo Julian
1
-0
/
+6
2018-07-03
- Re-named ":!!" to ":assume".
Eduardo Julian
5
-8
/
+8
2018-06-17
- Heavy refactoring to integrate extensions better with the rest of the compi...
Eduardo Julian
53
-1260
/
+1172
2018-06-17
- Migrated Scheme back-end to stdlib.
Eduardo Julian
25
-99
/
+1911
2018-06-15
- WIP: Adjustments to new-luxc based on recent changes to stdlib.
Eduardo Julian
2
-2
/
+13
2018-06-14
- Re-named "Special" to "Extension".
Eduardo Julian
8
-73
/
+76
2018-06-14
- Refactored generic compiler infrastructure.
Eduardo Julian
10
-148
/
+155
2018-06-14
- Refactored references.
Eduardo Julian
13
-135
/
+147
2018-06-14
- Minor refactorings.
Eduardo Julian
6
-30
/
+48
2018-06-14
- Migrated synthesis to stdlib.
Eduardo Julian
11
-323
/
+661
2018-05-26
- Added filter/partition functionality to refinement types.
Eduardo Julian
1
-1
/
+35
2018-05-26
- WIP: Migrated synthesis to stdlib.
Eduardo Julian
18
-62
/
+1162
2018-05-23
- Minor improvements.
Eduardo Julian
4
-54
/
+57
2018-05-23
- Minor improvements.
Eduardo Julian
2
-3
/
+14
2018-05-23
- Migrated special-form analysis to stdlib.
Eduardo Julian
10
-21
/
+2700
2018-05-20
- Re-named "Top" to "Any", and "Bottom" to "Nothing".
Eduardo Julian
61
-252
/
+252
2018-05-20
- Migrated pattern-matching analysis to stdlib.
Eduardo Julian
7
-52
/
+866
2018-05-16
- Migrated function analysis to stdlib.
Eduardo Julian
6
-8
/
+248
2018-05-16
- Migrated reference analysis to stdlib.
Eduardo Julian
5
-5
/
+291
2018-05-16
- Migrated structure analysis to stdlib.
Eduardo Julian
10
-41
/
+1453
2018-05-15
- Migrated primitive analysis to stdlib.
Eduardo Julian
6
-0
/
+424
2018-05-13
- Added dedicated unicode support for text.
Eduardo Julian
17
-169
/
+466
2018-05-13
- "lux/data/coll/bits" now uses I64 instead of Nat.
Eduardo Julian
1
-20
/
+24
2018-05-13
- Re-named ".../eq" modules to ".../equality".
Eduardo Julian
50
-53
/
+57
2018-05-13
- Added new #I64 type as foundation for types based on 64-bit integers.
Eduardo Julian
83
-825
/
+805
2018-05-12
- Implemented Deg(ree) reciprocal & conversions Deg<->Frac.
Eduardo Julian
3
-23
/
+83
2018-05-10
- Some improvements and fixes for stdlib.
Eduardo Julian
7
-77
/
+50
2018-05-10
- Re-named "Compiler" type to "Lux".
Eduardo Julian
6
-24
/
+24
2018-05-09
- Improved tests for Eq(uality) and Blob.
Eduardo Julian
2
-79
/
+58
2018-05-08
- Improved random-generation of Frac numbers.
Eduardo Julian
1
-8
/
+1
2018-05-08
- Improved the way Bool values are parsed.
Eduardo Julian
2
-39
/
+33
2018-05-08
- Re-named "lux process concurrency-level" to "lux process parallelism-level".
Eduardo Julian
3
-21
/
+25
2018-05-08
- Improved the way "lux program" is analysed and compiled.
Eduardo Julian
1
-35
/
+38
[next]