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
/
lux
/
math
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
Removed temporary "|" prefix on Nat.
Eduardo Julian
2018-07-28
1
-17
/
+17
*
Added "+" sign to positive Int.
Eduardo Julian
2018-07-28
1
-5
/
+5
*
Temporary commit to get rid of "+" signs for Nat.
Eduardo Julian
2018-07-28
1
-17
/
+17
*
Re-named "seq" to "and" and "alt" to "or".
Eduardo Julian
2018-07-21
2
-5
/
+5
*
"^open" and "open:" now use aliases instead of prefixes, the same way as modu...
Eduardo Julian
2018-07-20
3
-5
/
+5
*
No longer giving default aliases to un-prefixed imports.
Eduardo Julian
2018-07-20
3
-27
/
+30
*
- New syntax for bit values: "#0" and "#1", instead of "false" and "true".
Eduardo Julian
2018-07-14
2
-33
/
+33
*
Re-named "Bool" type to "Bit".
Eduardo Julian
2018-07-13
2
-8
/
+8
*
- Re-named "lux/data/bit" to "lux/data/number/i64".
Eduardo Julian
2018-07-13
1
-13
/
+13
*
- Re-named "type-of" to ":of".
Eduardo Julian
2018-07-11
1
-1
/
+1
*
- Improvements to import syntax [part 2].
Eduardo Julian
2018-07-11
4
-44
/
+54
*
- Improvements to import syntax [part 1].
Eduardo Julian
2018-07-11
3
-7
/
+7
*
- Improvements to import syntax [part 0].
Eduardo Julian
2018-07-10
3
-20
/
+20
*
- Re-named path "lux/data/coll/*" to "lux/data/collection/*".
Eduardo Julian
2018-07-10
2
-13
/
+10
*
- Re-organized dictionary & set modules a bit.
Eduardo Julian
2018-07-10
2
-3
/
+3
*
- Re-named "Dict" type to "Dictionary".
Eduardo Julian
2018-07-10
1
-4
/
+4
*
- Re-named "struct:" to "structure:".
Eduardo Julian
2018-07-10
2
-4
/
+4
*
- Re-named "degree" to "revolution".
Eduardo Julian
2018-07-04
3
-48
/
+48
*
- Can now refine random generators.
Eduardo Julian
2018-07-03
1
-0
/
+13
*
- Re-named "sequence" to "row".
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
2
-16
/
+16
*
- Re-named ":!!" to ":assume".
Eduardo Julian
2018-07-03
1
-1
/
+1
*
- Re-named "Top" to "Any", and "Bottom" to "Nothing".
Eduardo Julian
2018-05-20
2
-6
/
+6
*
- Added dedicated unicode support for text.
Eduardo Julian
2018-05-13
1
-87
/
+22
*
- Added new #I64 type as foundation for types based on 64-bit integers.
Eduardo Julian
2018-05-13
1
-50
/
+52
*
- Improved random-generation of Frac numbers.
Eduardo Julian
2018-05-08
1
-8
/
+1
*
- Implemented Deg functionality in pure Lux.
Eduardo Julian
2018-05-07
2
-80
/
+52
*
- Re-named shift-left -> left-shift, shift-right -> logical-right-shift, sign...
Eduardo Julian
2018-05-06
1
-8
/
+8
*
- Removed Void and Unit as kinds of types.
Eduardo Julian
2018-05-05
2
-2
/
+2
*
- Changed the syntax for the parameters of "syntax:".
Eduardo Julian
2018-05-02
2
-13
/
+16
*
- Made the names of all exceptions lower-case.
Eduardo Julian
2018-05-02
2
-8
/
+8
*
- Re-named "Applicative" to "Apply".
Eduardo Julian
2018-05-02
1
-2
/
+2
*
- Moved the "wrap" function into Monad, and removed Applicative from Monad's ...
Eduardo Julian
2018-05-02
1
-5
/
+5
*
- Re-named "lux/data/coll/dict/*" to "lux/data/coll/dictionary/*".
Eduardo Julian
2018-05-01
1
-1
/
+1
*
- Re-organized dict modules.
Eduardo Julian
2018-05-01
1
-1
/
+1
*
- Re-organized set modules.
Eduardo Julian
2018-05-01
2
-3
/
+3
*
- Improved the syntax for the "lux.function" macro.
Eduardo Julian
2018-04-05
4
-29
/
+28
*
- Improved the way exceptions work.
Eduardo Julian
2018-02-07
2
-12
/
+16
*
- Fixed inference involving existentials.
Eduardo Julian
2018-01-04
1
-3
/
+4
*
- Added bit-sets.
Eduardo Julian
2017-12-31
1
-11
/
+2
*
- A small, in-development module for doing constructive mathematics with some...
Eduardo Julian
2017-12-28
1
-0
/
+196
*
- Added type-safe modular arithmetic.
Eduardo Julian
2017-12-24
1
-0
/
+167
*
- Changed the identifier separator, from the semi-colon (;) to the period/dot...
Eduardo Julian
2017-11-29
3
-73
/
+73
*
- Changed the prefixes of numeric functions.
Eduardo Julian
2017-11-27
3
-73
/
+69
*
- Changed to the new relative imports syntax.
Eduardo Julian
2017-11-26
1
-1
/
+1
*
- Fixed random text generation to avoid characters in invalid Unicode ranges.
Eduardo Julian
2017-10-26
1
-11
/
+91
*
- Re-named "Vector" to "Sequence" to avoid confusion with mathematical vectors.
Eduardo Julian
2017-10-16
1
-11
/
+11
*
- Moved Array type to lux.lux.
Eduardo Julian
2017-10-16
1
-36
/
+36
*
- Fixed the tests for lux/math/random.
Eduardo Julian
2017-10-04
1
-5
/
+4
[next]