aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* - Improved re-scaling logic and added some SI units.Eduardo Julian2017-07-251-14/+26
* - Added units of measurement as a feature to decorate Int values for safer ca...Eduardo Julian2017-07-251-0/+143
* - Models now only rely on normal (inline) casting functions. Hopefully, in th...Eduardo Julian2017-07-251-16/+8
* - No longer defining hidden casting functions. Instead, inline functions are ...Eduardo Julian2017-07-241-35/+18
* - Refactored Time into Instant and Duration.Eduardo Julian2017-07-243-125/+202
* - Added models as a mechanism to encode nominal types.Eduardo Julian2017-07-241-0/+188
* - Relocated the "object" and "concatenative" modules.Eduardo Julian2017-07-232-4/+5
* - Codec now works on negative times (with respect to the epoch).Eduardo Julian2017-07-231-12/+14
* - Improved reporting on tests.Eduardo Julian2017-07-231-6/+5
* - Added module for time (Codec has currently been tested only for time after ...Eduardo Julian2017-07-231-0/+295
* - Merged the submodules of lux/paradigm/object into their parent module.Eduardo Julian2017-07-225-396/+334
* - Removed the "M" suffix from monadic functions.Eduardo Julian2017-07-2239-391/+378
* - Eliminated lux/math/simple. If you want simple math, use lux/type/auto with...Eduardo Julian2017-07-221-306/+0
* - Removed algebraic effects module. If you want effects, just go with finally...Eduardo Julian2017-07-221-344/+0
* - Changed inheritance syntax for interfaces and classes to make it more homog...Eduardo Julian2017-07-221-2/+2
* - Renamed Chan to Channel.Eduardo Julian2017-07-223-53/+53
* - Some utility functions.Eduardo Julian2017-07-222-1/+14
* - Small refactorings and bug fixes.Eduardo Julian2017-07-226-79/+83
* - Polytypic JSON codec can now handle #rec-style recursive types.Eduardo Julian2017-07-162-60/+131
* - Can now generate Eq instances for #rec-style recursive types.Eduardo Julian2017-07-1529-113/+160
* - Lux no longer has a Char primitive data-type.Eduardo Julian2017-07-0220-373/+154
* - Lexers now carry an offset which they use to figure out where to extract pa...Eduardo Julian2017-07-014-147/+135
* - Text no longer has a codec (because the decoding didn't handle unicode esca...Eduardo Julian2017-07-016-54/+35
* - The bodies of actor messages are run within the Task monad.Eduardo Julian2017-07-011-1/+3
* - Remove the suffixes of "lift" functions for monad transformers.Eduardo Julian2017-07-019-218/+218
* - Added module for concatenative (stack-based) programming.Eduardo Julian2017-06-261-0/+333
* - Some refactoring.Eduardo Julian2017-06-262-25/+25
* - Forgot to commit some of the sub-modules for lux/paradigm/object.Eduardo Julian2017-06-264-0/+351
* - Miscellaneous refactoring.Eduardo Julian2017-06-267-25/+34
* - Messages are now defined outside of the actor definition.Eduardo Julian2017-06-261-129/+209
* - Implemented single-inheritance.Eduardo Julian2017-06-261-170/+218
* - Re-designed actors so that their messages are now functions with access to ...Eduardo Julian2017-06-245-228/+216
* - Renamed lux/control/contract's "@pre" and "@post" to "pre" and "post".Eduardo Julian2017-06-231-6/+6
* - Added #compiler-name back to Compiler-Info.Eduardo Julian2017-06-231-10/+16
* - Added Fold structure for rose trees.Eduardo Julian2017-06-231-2/+10
* - Renamed lux/data/coll/ordered to lux/data/coll/ordered/set.Eduardo Julian2017-06-232-159/+314
* - Renamed "App" to "Apply" and swapped the order of the arguments to it.Eduardo Julian2017-06-217-176/+159
* - CLI, Syntax and Lexer are now based upon a common Parser type.Eduardo Julian2017-06-2127-1307/+985
* - Added Task type, as a promise that can fail.Eduardo Julian2017-06-211-0/+51
* - More detailed testing resporting.Eduardo Julian2017-06-191-72/+61
* - In lux/test, renamed "test:" to "context:", and "assert" to "test".Eduardo Julian2017-06-191-45/+45
* - Changed the type of Def so that values have type Top, instead of Void.Eduardo Julian2017-06-191-6/+6
* - JSON polytypic generator checks for (Dict Text ?) instead of (List [Text ?]).Eduardo Julian2017-06-194-334/+277
* - Codecs no longer take into account underscore "_" separators for digits..Eduardo Julian2017-06-191-5/+0
* - Split "lux/macro/syntax/common" into 2 other sub-modules ("reader" and "wri...Eduardo Julian2017-06-197-203/+225
* - Fixed a bug when generating the aliases of modules involving relative addre...Eduardo Julian2017-06-191-3/+3
* - Implemented functional object-oriented programming.Eduardo Julian2017-06-171-0/+178
* - Small refactorings and name-changes.Eduardo Julian2017-06-1710-131/+152
* - Changed the way lux/data/product;both works.Eduardo Julian2017-06-171-4/+5
* - Added Hash<Bool> and as-is macro..Eduardo Julian2017-06-143-5/+16
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 14:18:51 +0000