aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/math (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Removed temporary "|" prefix on Nat.Eduardo Julian2018-07-281-17/+17
|
* Added "+" sign to positive Int.Eduardo Julian2018-07-281-5/+5
|
* Temporary commit to get rid of "+" signs for Nat.Eduardo Julian2018-07-281-17/+17
|
* Re-named "seq" to "and" and "alt" to "or".Eduardo Julian2018-07-212-5/+5
|
* "^open" and "open:" now use aliases instead of prefixes, the same way as ↵Eduardo Julian2018-07-203-5/+5
| | | | module aliases.
* No longer giving default aliases to un-prefixed imports.Eduardo Julian2018-07-203-27/+30
|
* - New syntax for bit values: "#0" and "#1", instead of "false" and "true".Eduardo Julian2018-07-142-33/+33
| | | - Small improvements to lux-mode.
* Re-named "Bool" type to "Bit".Eduardo Julian2018-07-132-8/+8
|
* - Re-named "lux/data/bit" to "lux/data/number/i64".Eduardo Julian2018-07-131-13/+13
|
* - Re-named "type-of" to ":of".Eduardo Julian2018-07-111-1/+1
|
* - Improvements to import syntax [part 2].Eduardo Julian2018-07-114-44/+54
|
* - Improvements to import syntax [part 1].Eduardo Julian2018-07-113-7/+7
|
* - Improvements to import syntax [part 0].Eduardo Julian2018-07-103-20/+20
|
* - Re-named path "lux/data/coll/*" to "lux/data/collection/*".Eduardo Julian2018-07-102-13/+10
|
* - Re-organized dictionary & set modules a bit.Eduardo Julian2018-07-102-3/+3
|
* - Re-named "Dict" type to "Dictionary".Eduardo Julian2018-07-101-4/+4
|
* - Re-named "struct:" to "structure:".Eduardo Julian2018-07-102-4/+4
|
* - Re-named "degree" to "revolution".Eduardo Julian2018-07-043-48/+48
|
* - Can now refine random generators.Eduardo Julian2018-07-031-0/+13
|
* - Re-named "sequence" to "row".Eduardo Julian2018-07-031-10/+10
|
* - Removed "lux/math/constructive".Eduardo Julian2018-07-031-199/+0
|
* - Re-named "@abstraction" to ":abstraction" and "@representation" to ↵Eduardo Julian2018-07-032-16/+16
| | | | ":representation".
* - Re-named ":!!" to ":assume".Eduardo Julian2018-07-031-1/+1
|
* - Re-named "Top" to "Any", and "Bottom" to "Nothing".Eduardo Julian2018-05-202-6/+6
| | | - Removed some modules that should have been deleted before.
* - Added dedicated unicode support for text.Eduardo Julian2018-05-131-87/+22
| | | - Minor refactoring.
* - Added new #I64 type as foundation for types based on 64-bit integers.Eduardo Julian2018-05-131-50/+52
|
* - Improved random-generation of Frac numbers.Eduardo Julian2018-05-081-8/+1
|
* - Implemented Deg functionality in pure Lux.Eduardo Julian2018-05-072-80/+52
|
* - Re-named shift-left -> left-shift, shift-right -> logical-right-shift, ↵Eduardo Julian2018-05-061-8/+8
| | | | signed-shift-right -> arithmetic-right-shift.
* - Removed Void and Unit as kinds of types.Eduardo Julian2018-05-052-2/+2
| | | - Changed the value of "unit" in the old LuxC to match the one in new-luxc.
* - Changed the syntax for the parameters of "syntax:".Eduardo Julian2018-05-022-13/+16
|
* - Made the names of all exceptions lower-case.Eduardo Julian2018-05-022-8/+8
|
* - Re-named "Applicative" to "Apply".Eduardo Julian2018-05-021-2/+2
|
* - Moved the "wrap" function into Monad, and removed Applicative from Monad's ↵Eduardo Julian2018-05-021-5/+5
| | | | | family tree. - Moved the Free monad to its own module.
* - Re-named "lux/data/coll/dict/*" to "lux/data/coll/dictionary/*".Eduardo Julian2018-05-011-1/+1
|
* - Re-organized dict modules.Eduardo Julian2018-05-011-1/+1
|
* - Re-organized set modules.Eduardo Julian2018-05-012-3/+3
|
* - Improved the syntax for the "lux.function" macro.Eduardo Julian2018-04-054-29/+28
|
* - Improved the way exceptions work.Eduardo Julian2018-02-072-12/+16
|
* - Fixed inference involving existentials.Eduardo Julian2018-01-041-3/+4
|
* - Added bit-sets.Eduardo Julian2017-12-311-11/+2
|
* - A small, in-development module for doing constructive mathematics with ↵Eduardo Julian2017-12-281-0/+196
| | | | something close to dependent types.
* - Added type-safe modular arithmetic.Eduardo Julian2017-12-241-0/+167
|
* - Changed the identifier separator, from the semi-colon (;) to the ↵Eduardo Julian2017-11-293-73/+73
| | | | period/dot (.).
* - Changed the prefixes of numeric functions.Eduardo Julian2017-11-273-73/+69
|
* - Changed to the new relative imports syntax.Eduardo Julian2017-11-261-1/+1
|
* - Fixed random text generation to avoid characters in invalid Unicode ranges.Eduardo Julian2017-10-261-11/+91
|
* - Re-named "Vector" to "Sequence" to avoid confusion with mathematical vectors.Eduardo Julian2017-10-161-11/+11
|
* - Moved Array type to lux.lux.Eduardo Julian2017-10-161-36/+36
| | | | - Re-named some array functions. - Minor refactorings.
* - Fixed the tests for lux/math/random.Eduardo Julian2017-10-041-5/+4
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-19 09:58:33 +0000