aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* - Polytypic JSON codec can now handle #rec-style recursive types.Eduardo Julian2017-07-164-65/+150
* - Can now generate Eq instances for #rec-style recursive types.Eduardo Julian2017-07-1536-122/+182
* - Error messages on the JVM now include the stack-trace.Eduardo Julian2017-07-031-5/+27
* - Tested the compilation for "nat" procedures.Eduardo Julian2017-07-038-201/+436
* - Renamed "#Relative" to "#Variable" and "#Absolute" to "#Definition".Eduardo Julian2017-07-028-19/+19
* - Real syntax now supports exponential.Eduardo Julian2017-07-022-3/+6
* - Adjusted compiler to the new lack of Char type.Eduardo Julian2017-07-0229-151/+564
* - Lux no longer has a Char primitive data-type.Eduardo Julian2017-07-0255-792/+274
* - Lexers now carry an offset which they use to figure out where to extract pa...Eduardo Julian2017-07-015-162/+150
* - Text no longer has a codec (because the decoding didn't handle unicode esca...Eduardo Julian2017-07-017-67/+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-0115-226/+225
* - WIP: Added generation for common procedures.Eduardo Julian2017-06-3013-47/+1120
* - Adapted compiler to the latest stdlib changes.Eduardo Julian2017-06-2721-913/+909
* - Added module for concatenative (stack-based) programming.Eduardo Julian2017-06-261-0/+333
* - Some refactoring.Eduardo Julian2017-06-262-25/+25
* - Changed the syntax-highlighting rules.Eduardo Julian2017-06-261-2/+8
* - Forgot to commit some of the sub-modules for lux/paradigm/object.Eduardo Julian2017-06-264-0/+351
* - Miscellaneous refactoring.Eduardo Julian2017-06-268-28/+37
* - Messages are now defined outside of the actor definition.Eduardo Julian2017-06-262-145/+232
* - Implemented single-inheritance.Eduardo Julian2017-06-263-208/+291
* - Forgot to update the tests for ordered collections.Eduardo Julian2017-06-241-4/+4
* - Re-designed actors so that their messages are now functions with access to ...Eduardo Julian2017-06-248-322/+311
* - 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-234-17/+26
* - Added Fold structure for rose trees.Eduardo Julian2017-06-232-22/+41
* - Renamed lux/data/coll/ordered to lux/data/coll/ordered/set.Eduardo Julian2017-06-234-170/+436
* - Forgot to commit the change in lux-mode when renaming "test:" to "context:".Eduardo Julian2017-06-211-1/+1
* - Renamed "App" to "Apply" and swapped the order of the arguments to it.Eduardo Julian2017-06-2118-300/+284
* - CLI, Syntax and Lexer are now based upon a common Parser type.Eduardo Julian2017-06-2133-1627/+1252
* - 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-1963-2896/+2896
* - 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-196-446/+382
* - 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-173-0/+227
* - Small refactorings and name-changes.Eduardo Julian2017-06-1711-134/+155
* - 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
* - Heavy refactoring.Eduardo Julian2017-06-1413-308/+662
* - Renamed the "compilation" phase as the "generation" phase.Eduardo Julian2017-06-1225-273/+861
* - Added loop synthesis.Eduardo Julian2017-06-098-144/+404
* - Now optimizing functions.Eduardo Julian2017-06-065-105/+293
* - Implemented some synthesis algorithms and tests for primitives, structures,...Eduardo Julian2017-05-3118-151/+569
* - Documented the analysis phase.Eduardo Julian2017-05-3010-509/+644
* - Re-implemented "every?" and "any?" for better performance.Eduardo Julian2017-05-301-2/+14
* - Some refactoring.Eduardo Julian2017-05-304-58/+52
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-01 00:48:24 +0000