aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/data/number.lux (follow)
Commit message (Collapse)AuthorAgeFilesLines
* - Migrated Scheme back-end to stdlib.Eduardo Julian2018-06-171-3/+3
|
* - Re-named "Top" to "Any", and "Bottom" to "Nothing".Eduardo Julian2018-05-201-3/+3
| | | - Removed some modules that should have been deleted before.
* - Re-named ".../eq" modules to ".../equality".Eduardo Julian2018-05-131-1/+1
| | | - Other minor improvements.
* - Added new #I64 type as foundation for types based on 64-bit integers.Eduardo Julian2018-05-131-79/+79
|
* - Implemented Deg functionality in pure Lux.Eduardo Julian2018-05-071-5/+5
|
* - Implemented Nat functionality in pure Lux.Eduardo Julian2018-05-061-1/+1
|
* - Re-named shift-left -> left-shift, shift-right -> logical-right-shift, ↵Eduardo Julian2018-05-061-5/+5
| | | | signed-shift-right -> arithmetic-right-shift.
* - Removed "lux text upper" and "lux text lower" procedures.Eduardo Julian2018-05-061-40/+149
|
* - Allow underscore separators in the hex, octal and binary encoding macros ↵Eduardo Julian2018-05-011-29/+60
| | | | for Nat/Int/Deg/Frac.
* - Changed the identifier separator, from the semi-colon (;) to the ↵Eduardo Julian2017-11-291-109/+109
| | | | period/dot (.).
* - Re-named the "." function to "compose" and moved it to lux/function.Eduardo Julian2017-11-281-1/+1
|
* - Got rid of even more dots.Eduardo Julian2017-11-271-1/+1
|
* - Changed the prefixes of numeric functions.Eduardo Julian2017-11-271-168/+168
|
* - Fixed some bugs.Eduardo Julian2017-11-221-39/+39
| | | | - Some refactoring. - Added some alternative snippets of code that new-luxc can handle better.
* - Fixed some bugs.Eduardo Julian2017-11-211-11/+10
| | | - Some small refactoring.
* - Made "lux text clip" work like it used to.Eduardo Julian2017-11-141-31/+35
|
* - Removed "lux text last-index" procedure.Eduardo Julian2017-11-141-35/+31
| | | | | - Removed "lux text trim" procedure. - Modified "lux text clip" procedure. - Some bug fixes.
* - Type-vars no longer get deleted.Eduardo Julian2017-11-131-36/+36
| | | - Fixed some bugs.
* - Changed how Lux procedures work on the old compiler and the stdlib.Eduardo Julian2017-11-061-103/+97
|
* - Re-named "Result" type back to "Error".Eduardo Julian2017-10-161-37/+37
|
* - Moved Array type to lux.lux.Eduardo Julian2017-10-161-1/+1
| | | | - Re-named some array functions. - Minor refactorings.
* - Added monoid composition.Eduardo Julian2017-10-111-1/+1
|
* - Changed the terminology of monoids ("append" -> "compose", "unit" -> ↵Eduardo Julian2017-09-191-3/+3
| | | | "identity").
* - Some refactoring.Eduardo Julian2017-09-191-21/+22
| | | - Moved "assume" and "default" to lux/data/maybe.
* - Renamed bitwise right-shifting functions.Eduardo Julian2017-09-051-1/+1
|
* - Re-named "real" numbers to "frac"(tions).Eduardo Julian2017-09-041-78/+78
|
* - Can now generate Eq instances for #rec-style recursive types.Eduardo Julian2017-07-151-1/+1
| | | - Minor refactorings.
* - Lux no longer has a Char primitive data-type.Eduardo Julian2017-07-021-32/+22
|
* - Codecs no longer take into account underscore "_" separators for digits..Eduardo Julian2017-06-191-5/+0
|
* - Renamed ^=> to ^multi.Eduardo Julian2017-05-241-11/+11
|
* - Implemented Real<->Bits conversion (and used it to implement Hash<Real>).Eduardo Julian2017-05-231-52/+126
|
* - Renamed "Error" to "Result".Eduardo Julian2017-05-171-38/+38
|
* - Fixed bugs with octal and hexadecimal encodings for reals.Eduardo Julian2017-05-111-11/+19
|
* - Fixed some tests for lux/math/logic/fuzzy.Eduardo Julian2017-05-091-0/+4
| | | | - Removed a forgotten #seed in a test for lux/math/simple. - Added Hash<Deg>.
* - Removed "T" suffix from Type's tags.Eduardo Julian2017-05-071-1/+1
|
* - Fully implemented Deg encoding/decoding in pure Lux.Eduardo Julian2017-05-071-37/+91
| | | - No longer relying in LuxRT-supported implementations.
* - Implemented Deg encoding.Eduardo Julian2017-05-051-9/+170
|
* - Removed the "S" suffix from AST tags.Eduardo Julian2017-05-031-5/+5
|
* - Simplified some of the documentation and error messages.Eduardo Julian2017-04-121-2/+2
|
* - Added binary, octal and hexadecimal codecs for reals.Eduardo Julian2017-04-061-15/+258
| | | - Added octal codec for degs.
* - Added binary and hexadecimal syntax for degs.Eduardo Julian2017-04-051-3/+39
|
* - Added binary, octal and hexadecimal codecs for ints.Eduardo Julian2017-04-051-132/+110
| | | | - Generalized the bin, oct and hex macros so they also work with ints (in the future, they will also work with degs and reals). - Binary, octal and hexadecimal nats now have a + sign in front, like normal nats.
* - Implemented Int encoding/decoding in the standard library.Eduardo Julian2017-04-031-14/+52
| | | | | - Moved some type-constructors for building functor types into the lux/control/functor module. - Renamed Ord to Order. - Renamed Env to Reader.
* - Nat encoding/decoding is now implemented in the standard library.Eduardo Julian2017-03-301-1/+54
|
* - Implemented finger-trees.Eduardo Julian2017-03-281-1/+1
| | | - Implemented random-access sequences and priority-queues on top of finger-trees.
* - Expanded the lux/control/interval module.Eduardo Julian2017-03-271-6/+9
| | | - Implemented Enum<Real>.
* - Implemented a variety of new procedures for text, chars, math and arrays.Eduardo Julian2017-02-221-1/+2
|
* - Added support for the new common procedures to the JVM backend.Eduardo Julian2017-02-171-2/+2
| | | - Fixed some bugs.
* - Added more common procedures.Eduardo Julian2017-02-171-8/+34
| | | | | | | - Fixed some bugs in the type-checking of some common procedures. - Removed the "_name" field for generated classes. - Now compiling loops in JS. - Did some refactoring to the caching machinery. - Implemented binary, octal and hexadecimal encoding purely in Lux.
* - Implemented several new procedures.Eduardo Julian2017-02-161-65/+40
| | | | | | - Improved Lux-to-JS interactions. - Parallel compilation works for the JS backend. - Added more primitive functionality to the JS runtime. - More common procedures.
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-08 21:59:42 +0000