aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test (unfollow)
Commit message (Collapse)AuthorFilesLines
2018-05-15- Migrated primitive analysis to stdlib.Eduardo Julian1-0/+63
2018-05-13- Added dedicated unicode support for text.Eduardo Julian12-30/+30
- Minor refactoring.
2018-05-13- Re-named ".../eq" modules to ".../equality".Eduardo Julian12-15/+15
- Other minor improvements.
2018-05-13- Added new #I64 type as foundation for types based on 64-bit integers.Eduardo Julian35-158/+161
2018-05-12- Implemented Deg(ree) reciprocal & conversions Deg<->Frac.Eduardo Julian1-5/+11
- Added an easy way to define aliases.
2018-05-10- Some improvements and fixes for stdlib.Eduardo Julian1-2/+4
2018-05-09- Improved tests for Eq(uality) and Blob.Eduardo Julian2-79/+58
2018-05-08- Improved the way Bool values are parsed.Eduardo Julian1-11/+11
2018-05-08- Re-named "lux process concurrency-level" to "lux process parallelism-level".Eduardo Julian1-2/+2
- Merged the functionality of "lux process future" into "lux process schedule".
2018-05-07- Implemented bit-count in pure Lux.Eduardo Julian1-6/+8
2018-05-07- Implemented Deg functionality in pure Lux.Eduardo Julian2-24/+13
2018-05-06- Re-named shift-left -> left-shift, shift-right -> logical-right-shift, ↵Eduardo Julian2-5/+5
signed-shift-right -> arithmetic-right-shift.
2018-05-06- Removed "lux text upper" and "lux text lower" procedures.Eduardo Julian2-13/+5
2018-05-05- Removed Void and Unit as kinds of types.Eduardo Julian10-40/+31
- Changed the value of "unit" in the old LuxC to match the one in new-luxc.
2018-05-02- List ranges can now be generated backwards.Eduardo Julian2-12/+23
2018-05-02- Made the names of all exceptions lower-case.Eduardo Julian3-12/+12
2018-05-02- Re-named "Applicative" to "Apply".Eduardo Julian12-23/+23
2018-05-02- Moved the "wrap" function into Monad, and removed Applicative from Monad's ↵Eduardo Julian14-60/+68
family tree. - Moved the Free monad to its own module.
2018-05-01- Re-organized "lux/data/coll/tree/*" modules.Eduardo Julian2-19/+19
2018-05-01- Re-organized priority-queue modules.Eduardo Julian2-7/+7
2018-05-01- Re-named "lux/data/coll/dict/*" to "lux/data/coll/dictionary/*".Eduardo Julian7-9/+9
2018-05-01- Re-organized dict modules.Eduardo Julian7-13/+13
2018-05-01- Re-organized set modules.Eduardo Julian8-12/+12
2018-05-01- Re-named lux/control/cont to lux/control/continuation.Eduardo Julian3-4/+3
2018-05-01- Allow underscore separators in the hex, octal and binary encoding macros ↵Eduardo Julian1-0/+18
for Nat/Int/Deg/Frac.
2018-04-05- Can now use resource/substructural types in pure computations.Eduardo Julian1-18/+18
2018-04-05- Improved the syntax for the "lux.function" macro.Eduardo Julian27-91/+93
2018-04-05- Re-named "is" to "is?".Eduardo Julian12-64/+55
2018-02-24- Removed the "root2" and "root3" host procedures (their functionality is ↵Eduardo Julian3-24/+9
redundant, in the presence of the "pow" procedure).
2018-02-11- Some improvements to protocol-based objects.Eduardo Julian1-44/+59
2018-02-11- Added initial implementation of protocol-based object-oriented programming.Eduardo Julian2-1/+117
2018-02-11- Re-named lux/type/object to lux/type/object/interface.Eduardo Julian2-2/+2
2018-02-07- Fixed tests in stdlib.Eduardo Julian6-70/+80
2018-02-07- Improved the way exceptions work.Eduardo Julian5-30/+31
2018-01-30- Small refactorings.Eduardo Julian1-3/+3
2018-01-30- Implemented semaphores, mutexes and barriers.Eduardo Julian3-2/+146
- Fixed a bug when checking "last-index-of" for Text.
2018-01-16- Added sub-structural types (for synchronous IO and asynchronous Promise).Eduardo Julian1-0/+46
2018-01-03- Small refactorings.Eduardo Julian1-4/+0
2017-12-31- Added region-based resource management.Eduardo Julian2-1/+102
2017-12-31- Added safe (single-threaded) mutation.Eduardo Julian2-1/+22
2017-12-31- Added safe (single-threaded) mutation.Eduardo Julian2-1/+22
2017-12-31- Added bit-sets.Eduardo Julian4-2/+97
2017-12-28- A small, in-development module for doing constructive mathematics with ↵Eduardo Julian2-0/+59
something close to dependent types.
2017-12-28- Added quotient types.Eduardo Julian1-1/+2
2017-12-25- Added module for predicates.Eduardo Julian2-3/+5
- Added refinement types. - Small refactorings and fixes. - Added the capacity to unquote expressions inside the 'lux.type' macro.
2017-12-24- Minor refactorings and bug fixes.Eduardo Julian2-8/+9
2017-12-24- Added type-safe modular arithmetic.Eduardo Julian2-1/+147
2017-12-12- Agent-based concurrency is just actors listening to FRP channels, so ↵Eduardo Julian2-25/+0
special support for it was removed.
2017-12-12- FRP channels are no longer asynchronously-built lists, but rather mediums ↵Eduardo Julian4-178/+167
for spreading data, that can be chained together to form networks for data distribution.
2017-12-10- Some minor refactoring.Eduardo Julian1-18/+3
- Eliminated the dependency of actors upon FRP and STM. - Fixed some bugs.