aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/math (follow)
Commit message (Expand)AuthorAgeFilesLines
* - Removed "lux/math/constructive".Eduardo Julian2018-07-031-199/+0
* - Re-named "@abstraction" to ":abstraction" and "@representation" to ":repres...Eduardo Julian2018-07-032-16/+16
* - 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
* - Added dedicated unicode support for text.Eduardo Julian2018-05-131-87/+22
* - 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, sign...Eduardo Julian2018-05-061-8/+8
* - Removed Void and Unit as kinds of types.Eduardo Julian2018-05-052-2/+2
* - 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
* - 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 some...Eduardo Julian2017-12-281-0/+196
* - Added type-safe modular arithmetic.Eduardo Julian2017-12-241-0/+167
* - Changed the identifier separator, from the semi-colon (;) to the period/dot...Eduardo Julian2017-11-293-73/+73
* - 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
* - Fixed the tests for lux/math/random.Eduardo Julian2017-10-041-5/+4
* swap wasn't swappingmccraig mccraig of the clan mccraig2017-09-231-1/+3
* - Changed the terminology of monoids ("append" -> "compose", "unit" -> "ident...Eduardo Julian2017-09-191-1/+1
* - Some refactoring.Eduardo Julian2017-09-191-9/+8
* - Renamed bitwise right-shifting functions.Eduardo Julian2017-09-051-6/+3
* - Re-named "real" numbers to "frac"(tions).Eduardo Julian2017-09-042-15/+15
* - Removed the "M" suffix from monadic functions.Eduardo Julian2017-07-221-8/+8
* - Eliminated lux/math/simple. If you want simple math, use lux/type/auto with...Eduardo Julian2017-07-221-306/+0
* - Lux no longer has a Char primitive data-type.Eduardo Julian2017-07-021-10/+3
* - CLI, Syntax and Lexer are now based upon a common Parser type.Eduardo Julian2017-06-211-12/+13
* - Renamed "AST" to "Code".Eduardo Julian2017-05-071-6/+6
* - Removed "T" suffix from Type's tags.Eduardo Julian2017-05-071-2/+2
* - Gave less cryptic names to bit-wise functions.Eduardo Julian2017-05-031-11/+11
* - Updated the compiler's type-checking context to match it with lux/type/check.Eduardo Julian2017-04-301-3/+3
* - Fused the lux/compiler and lux/macro modules.Eduardo Julian2017-04-111-27/+27
* - Renamed "lambda" to "function".Eduardo Julian2017-04-102-23/+23
* - Moved lux/random to lux/math/random.Eduardo Julian2017-03-243-489/+303
* - Renamed "end" to "end!".Eduardo Julian2017-03-241-5/+5
* - Implemented several new procedures.Eduardo Julian2017-02-161-4/+4
* - Some refactorings and small expansions to lux/math.Eduardo Julian2017-01-292-10/+10
* - Added support for fuzzy logic.Eduardo Julian2017-01-281-0/+150