aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test (follow)
Commit message (Expand)AuthorAgeFilesLines
* - WIP: Migrated synthesis to stdlib.Eduardo Julian2018-05-265-1/+378
* - Migrated special-form analysis to stdlib.Eduardo Julian2018-05-232-0/+857
* - Re-named "Top" to "Any", and "Bottom" to "Nothing".Eduardo Julian2018-05-2010-41/+41
* - Migrated pattern-matching analysis to stdlib.Eduardo Julian2018-05-203-5/+199
* - Migrated function analysis to stdlib.Eduardo Julian2018-05-162-1/+112
* - Migrated reference analysis to stdlib.Eduardo Julian2018-05-162-2/+59
* - Migrated structure analysis to stdlib.Eduardo Julian2018-05-162-32/+347
* - Migrated primitive analysis to stdlib.Eduardo Julian2018-05-151-0/+63
* - Added dedicated unicode support for text.Eduardo Julian2018-05-1312-30/+30
* - Re-named ".../eq" modules to ".../equality".Eduardo Julian2018-05-1312-15/+15
* - Added new #I64 type as foundation for types based on 64-bit integers.Eduardo Julian2018-05-1335-158/+161
* - Implemented Deg(ree) reciprocal & conversions Deg<->Frac.Eduardo Julian2018-05-121-5/+11
* - Some improvements and fixes for stdlib.Eduardo Julian2018-05-101-2/+4
* - Improved tests for Eq(uality) and Blob.Eduardo Julian2018-05-092-79/+58
* - Improved the way Bool values are parsed.Eduardo Julian2018-05-081-11/+11
* - Re-named "lux process concurrency-level" to "lux process parallelism-level".Eduardo Julian2018-05-081-2/+2
* - Implemented bit-count in pure Lux.Eduardo Julian2018-05-071-6/+8
* - Implemented Deg functionality in pure Lux.Eduardo Julian2018-05-072-24/+13
* - Re-named shift-left -> left-shift, shift-right -> logical-right-shift, sign...Eduardo Julian2018-05-062-5/+5
* - Removed "lux text upper" and "lux text lower" procedures.Eduardo Julian2018-05-062-13/+5
* - Removed Void and Unit as kinds of types.Eduardo Julian2018-05-0510-40/+31
* - List ranges can now be generated backwards.Eduardo Julian2018-05-022-12/+23
* - Made the names of all exceptions lower-case.Eduardo Julian2018-05-023-12/+12
* - Re-named "Applicative" to "Apply".Eduardo Julian2018-05-0212-23/+23
* - Moved the "wrap" function into Monad, and removed Applicative from Monad's ...Eduardo Julian2018-05-0214-60/+68
* - Re-organized "lux/data/coll/tree/*" modules.Eduardo Julian2018-05-012-19/+19
* - Re-organized priority-queue modules.Eduardo Julian2018-05-012-7/+7
* - Re-named "lux/data/coll/dict/*" to "lux/data/coll/dictionary/*".Eduardo Julian2018-05-017-9/+9
* - Re-organized dict modules.Eduardo Julian2018-05-017-13/+13
* - Re-organized set modules.Eduardo Julian2018-05-018-12/+12
* - Re-named lux/control/cont to lux/control/continuation.Eduardo Julian2018-05-013-4/+3
* - Allow underscore separators in the hex, octal and binary encoding macros fo...Eduardo Julian2018-05-011-0/+18
* - Can now use resource/substructural types in pure computations.Eduardo Julian2018-04-051-18/+18
* - Improved the syntax for the "lux.function" macro.Eduardo Julian2018-04-0527-91/+93
* - Re-named "is" to "is?".Eduardo Julian2018-04-0512-64/+55
* - Removed the "root2" and "root3" host procedures (their functionality is red...Eduardo Julian2018-02-243-24/+9
* - Some improvements to protocol-based objects.Eduardo Julian2018-02-111-44/+59
* - Added initial implementation of protocol-based object-oriented programming.Eduardo Julian2018-02-112-1/+117
* - Re-named lux/type/object to lux/type/object/interface.Eduardo Julian2018-02-112-2/+2
* - Fixed tests in stdlib.Eduardo Julian2018-02-076-70/+80
* - Improved the way exceptions work.Eduardo Julian2018-02-075-30/+31
* - Small refactorings.Eduardo Julian2018-01-301-3/+3
* - Implemented semaphores, mutexes and barriers.Eduardo Julian2018-01-303-2/+146
* - Added sub-structural types (for synchronous IO and asynchronous Promise).Eduardo Julian2018-01-161-0/+46
* - Small refactorings.Eduardo Julian2018-01-031-4/+0
* - Added region-based resource management.Eduardo Julian2017-12-312-1/+102
* - Added safe (single-threaded) mutation.Eduardo Julian2017-12-312-1/+22
* - Added bit-sets.Eduardo Julian2017-12-314-2/+97
* - A small, in-development module for doing constructive mathematics with some...Eduardo Julian2017-12-282-0/+59
* - Added quotient types.Eduardo Julian2017-12-281-1/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-29 16:31:57 +0000