aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test/tests.lux (unfollow)
Commit message (Collapse)AuthorFilesLines
2017-12-31- Added region-based resource management.Eduardo Julian1-1/+2
2017-12-31- Added safe (single-threaded) mutation.Eduardo Julian1-1/+2
2017-12-31- Added bit-sets.Eduardo Julian1-1/+2
2017-12-28- A small, in-development module for doing constructive mathematics with ↵Eduardo Julian1-0/+1
something close to dependent types.
2017-12-28- Added quotient types.Eduardo Julian1-1/+2
2017-12-25- Added module for predicates.Eduardo Julian1-2/+4
- Added refinement types. - Small refactorings and fixes. - Added the capacity to unquote expressions inside the 'lux.type' macro.
2017-12-24- Added type-safe modular arithmetic.Eduardo Julian1-1/+1
2017-12-12- Agent-based concurrency is just actors listening to FRP channels, so ↵Eduardo Julian1-2/+0
special support for it was removed.
2017-12-02- Added some ~! to some macros to stop them from imposing dependencies.Eduardo Julian1-4/+1
- Added some code to "lux.type" so it can handle "lux in-module".
2017-12-02- Added context-sensitive macro-expansion by means of "lux in-module", and ↵Eduardo Julian1-1/+3
removed all the (now unnecessary) #hidden tags. - Fixed a bug when loading the imports from the cache. - Added special notation for context-sensitive macro-expansion.
2017-11-29- Changed the identifier separator, from the semi-colon (;) to the ↵Eduardo Julian1-74/+73
period/dot (.).
2017-11-23- Added console I/O.Eduardo Julian1-1/+2
2017-11-15- Re-named "lux/meta" to to "lux/macro".Eduardo Julian1-5/+5
2017-11-15- Moved "/type/*" to from "lux/meta/" to "lux/".Eduardo Julian1-4/+4
2017-11-15- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".Eduardo Julian1-4/+4
2017-11-15- Re-named "lux/meta/type/auto" to "lux/meta/type/implicit".Eduardo Julian1-1/+1
2017-11-15- Moved "luxc/lang/syntax" to "lux/lang/syntax".Eduardo Julian1-0/+1
- Minor refactoring.
2017-10-16- Re-named "Lux" type to "Meta".Eduardo Julian1-10/+10
- Moved lux/type/* under lux/meta/*.
2017-10-16- Re-named "Vector" to "Sequence" to avoid confusion with mathematical vectors.Eduardo Julian1-1/+1
2017-10-16- Removed the useless Seq type.Eduardo Julian1-1/+0
2017-10-16- Re-named "Result" type back to "Error".Eduardo Julian1-1/+1
2017-10-16- Re-named lux/world/fs to lux/world/file.Eduardo Julian1-1/+1
2017-09-19- Tree parsing.Eduardo Julian1-5/+6
2017-09-05- Added tests for lux/math/random.Eduardo Julian1-1/+2
2017-09-04- Renamed "Log" to "Writer".Eduardo Julian1-1/+1
2017-09-04- Implemented network I/O for TCP and UDP (in the JVM).Eduardo Julian1-1/+3
2017-08-30- Added HTML-generation module.Eduardo Julian1-3/+9
- Added CSS-generation module.
2017-08-03- Implemented Agent-Oriented Programming.Eduardo Julian1-0/+2
2017-08-01- Removed polytipic text-encoders.Eduardo Julian1-2/+1
- Simplified a lot of polytypism.
2017-07-29- Added more structures for instants and dates.Eduardo Julian1-1/+2
2017-07-29- Re-implemented Tainted using models.Eduardo Julian1-1/+2
2017-07-29- Renamed "Thunk" to "Lazy", and moved it from lux/control/thunk to ↵Eduardo Julian1-1/+1
lux/data/lazy.
2017-07-25- Added units of measurement as a feature to decorate Int values for safer ↵Eduardo Julian1-1/+2
calculations.
2017-07-24- Refactored Time into Instant and Duration.Eduardo Julian1-1/+2
2017-07-23- Relocated the "object" and "concatenative" modules.Eduardo Julian1-6/+6
2017-07-23- Added module for time (Codec has currently been tested only for time after ↵Eduardo Julian1-0/+1
epoch).
2017-07-22- Eliminated lux/math/simple. If you want simple math, use lux/type/auto ↵Eduardo Julian1-2/+1
with the relevant signatures.
2017-07-22- Removed algebraic effects module. If you want effects, just go with ↵Eduardo Julian1-2/+1
finally-tagless approach.
2017-07-02- Lux no longer has a Char primitive data-type.Eduardo Julian1-2/+2
2017-06-26- Implemented single-inheritance.Eduardo Julian1-1/+1
- Fixed some bugs.
2017-06-24- Forgot to update the tests for ordered collections.Eduardo Julian1-4/+4
2017-06-21- CLI, Syntax and Lexer are now based upon a common Parser type.Eduardo Julian1-4/+5
2017-06-17- Implemented functional object-oriented programming.Eduardo Julian1-0/+1
2017-05-17- Renamed "Error" to "Result".Eduardo Julian1-1/+1
2017-05-09- Small fixes and refactorings.Eduardo Julian1-6/+3
2017-05-07- Renamed "AST" to "Code".Eduardo Julian1-6/+10
2017-04-10- Move the modules under lux/function/* to be under lux/control/*.Eduardo Julian1-5/+5
2017-04-10- Renamed "lambda" to "function".Eduardo Julian1-4/+5
2017-04-06- Added XML support.Eduardo Julian1-1/+2
2017-04-05- Moved lux/lexer and lux/lexer/regex to lux/data/text/lexer and ↵Eduardo Julian1-35/+37
lux/data/text/regex. - Moved lux/pipe to lux/control/pipe. - Moved the @pre and @post macros to lux/control/contract. - Improved error reporting for lux/type/auto. - Added a test for third-order type-checking for lux/type/auto. - Fixed a bug in the tests for lux/data/coll/vector.