aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test/tests.lux (follow)
Commit message (Collapse)AuthorAgeFilesLines
* - Added safe (single-threaded) mutation.Eduardo Julian2017-12-311-1/+2
|
* - Added bit-sets.Eduardo Julian2017-12-311-1/+2
|
* - A small, in-development module for doing constructive mathematics with ↵Eduardo Julian2017-12-281-0/+1
| | | | something close to dependent types.
* - Added quotient types.Eduardo Julian2017-12-281-1/+2
|
* - Added module for predicates.Eduardo Julian2017-12-251-2/+4
| | | | | - Added refinement types. - Small refactorings and fixes. - Added the capacity to unquote expressions inside the 'lux.type' macro.
* - Added type-safe modular arithmetic.Eduardo Julian2017-12-241-1/+1
|
* - Agent-based concurrency is just actors listening to FRP channels, so ↵Eduardo Julian2017-12-121-2/+0
| | | | special support for it was removed.
* - Added some ~! to some macros to stop them from imposing dependencies.Eduardo Julian2017-12-021-4/+1
| | | - Added some code to "lux.type" so it can handle "lux in-module".
* - Added context-sensitive macro-expansion by means of "lux in-module", and ↵Eduardo Julian2017-12-021-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.
* - Changed the identifier separator, from the semi-colon (;) to the ↵Eduardo Julian2017-11-291-74/+73
| | | | period/dot (.).
* - Added console I/O.Eduardo Julian2017-11-231-1/+2
|
* - Re-named "lux/meta" to to "lux/macro".Eduardo Julian2017-11-151-5/+5
|
* - Moved "/type/*" to from "lux/meta/" to "lux/".Eduardo Julian2017-11-151-4/+4
|
* - Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".Eduardo Julian2017-11-151-4/+4
|
* - Re-named "lux/meta/type/auto" to "lux/meta/type/implicit".Eduardo Julian2017-11-151-1/+1
|
* - Moved "luxc/lang/syntax" to "lux/lang/syntax".Eduardo Julian2017-11-151-0/+1
| | | - Minor refactoring.
* - Re-named "Lux" type to "Meta".Eduardo Julian2017-10-161-10/+10
| | | - Moved lux/type/* under lux/meta/*.
* - Re-named "Vector" to "Sequence" to avoid confusion with mathematical vectors.Eduardo Julian2017-10-161-1/+1
|
* - Removed the useless Seq type.Eduardo Julian2017-10-161-1/+0
|
* - Re-named "Result" type back to "Error".Eduardo Julian2017-10-161-1/+1
|
* - Re-named lux/world/fs to lux/world/file.Eduardo Julian2017-10-161-1/+1
|
* - Tree parsing.Eduardo Julian2017-09-191-5/+6
|
* - Added tests for lux/math/random.Eduardo Julian2017-09-051-1/+2
|
* - Renamed "Log" to "Writer".Eduardo Julian2017-09-041-1/+1
|
* - Implemented network I/O for TCP and UDP (in the JVM).Eduardo Julian2017-09-041-1/+3
|
* - Added HTML-generation module.Eduardo Julian2017-08-301-3/+9
| | | - Added CSS-generation module.
* - Implemented Agent-Oriented Programming.Eduardo Julian2017-08-031-0/+2
|
* - Removed polytipic text-encoders.Eduardo Julian2017-08-011-2/+1
| | | - Simplified a lot of polytypism.
* - Added more structures for instants and dates.Eduardo Julian2017-07-291-1/+2
|
* - Re-implemented Tainted using models.Eduardo Julian2017-07-291-1/+2
|
* - Renamed "Thunk" to "Lazy", and moved it from lux/control/thunk to ↵Eduardo Julian2017-07-291-1/+1
| | | | lux/data/lazy.
* - Added units of measurement as a feature to decorate Int values for safer ↵Eduardo Julian2017-07-251-1/+2
| | | | calculations.
* - Refactored Time into Instant and Duration.Eduardo Julian2017-07-241-1/+2
|
* - Relocated the "object" and "concatenative" modules.Eduardo Julian2017-07-231-6/+6
|
* - Added module for time (Codec has currently been tested only for time after ↵Eduardo Julian2017-07-231-0/+1
| | | | epoch).
* - Eliminated lux/math/simple. If you want simple math, use lux/type/auto ↵Eduardo Julian2017-07-221-2/+1
| | | | with the relevant signatures.
* - Removed algebraic effects module. If you want effects, just go with ↵Eduardo Julian2017-07-221-2/+1
| | | | finally-tagless approach.
* - Lux no longer has a Char primitive data-type.Eduardo Julian2017-07-021-2/+2
|
* - Implemented single-inheritance.Eduardo Julian2017-06-261-1/+1
| | | - Fixed some bugs.
* - Forgot to update the tests for ordered collections.Eduardo Julian2017-06-241-4/+4
|
* - CLI, Syntax and Lexer are now based upon a common Parser type.Eduardo Julian2017-06-211-4/+5
|
* - Implemented functional object-oriented programming.Eduardo Julian2017-06-171-0/+1
|
* - Renamed "Error" to "Result".Eduardo Julian2017-05-171-1/+1
|
* - Small fixes and refactorings.Eduardo Julian2017-05-091-6/+3
|
* - Renamed "AST" to "Code".Eduardo Julian2017-05-071-6/+10
|
* - Move the modules under lux/function/* to be under lux/control/*.Eduardo Julian2017-04-101-5/+5
|
* - Renamed "lambda" to "function".Eduardo Julian2017-04-101-4/+5
|
* - Added XML support.Eduardo Julian2017-04-061-1/+2
|
* - Moved lux/lexer and lux/lexer/regex to lux/data/text/lexer and ↵Eduardo Julian2017-04-051-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.
* - Priority-queues and sequences can now be empty.Eduardo Julian2017-04-031-1/+1
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 16:15:10 +0000