aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test/tests.lux (follow)
Commit message (Expand)AuthorAgeFilesLines
* Moved evaluation machinery from new-luxc to stdlib.Eduardo Julian2018-07-291-0/+1
* Got rid of Object-Oriented Programming modules.Eduardo Julian2018-07-211-4/+1
* Re-named "Ident" to "Name".Eduardo Julian2018-07-211-1/+1
* - Re-named "Compiler" to "Phase".Eduardo Julian2018-07-211-40/+40
* Moved "lux/language/type/*" to "lux/type/*".Eduardo Julian2018-07-211-3/+2
* Re-named "lux/world/blob" to "lux/world/binary".Eduardo Julian2018-07-211-1/+1
* No longer giving default aliases to un-prefixed imports.Eduardo Julian2018-07-201-64/+68
* - Improvements to import syntax [part 2].Eduardo Julian2018-07-111-136/+170
* - Improvements to import syntax [part 0].Eduardo Julian2018-07-101-30/+65
* - Re-named ".../eq" modules to ".../equality".Eduardo Julian2018-05-131-1/+1
* - Some improvements and fixes for stdlib.Eduardo Julian2018-05-101-2/+4
* - Removed "lux text upper" and "lux text lower" procedures.Eduardo Julian2018-05-061-5/+5
* - Moved the "wrap" function into Monad, and removed Applicative from Monad's ...Eduardo Julian2018-05-021-9/+9
* - Re-organized "lux/data/coll/tree/*" modules.Eduardo Julian2018-05-011-3/+3
* - Re-organized priority-queue modules.Eduardo Julian2018-05-011-6/+6
* - Re-named "lux/data/coll/dict/*" to "lux/data/coll/dictionary/*".Eduardo Julian2018-05-011-2/+2
* - Re-organized dict modules.Eduardo Julian2018-05-011-3/+3
* - Re-organized set modules.Eduardo Julian2018-05-011-3/+3
* - Re-named lux/control/cont to lux/control/continuation.Eduardo Julian2018-05-011-1/+1
* - Added initial implementation of protocol-based object-oriented programming.Eduardo Julian2018-02-111-1/+3
* - Re-named lux/type/object to lux/type/object/interface.Eduardo Julian2018-02-111-1/+1
* - Improved the way exceptions work.Eduardo Julian2018-02-071-4/+5
* - Added region-based resource management.Eduardo Julian2017-12-311-1/+2
* - 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 some...Eduardo Julian2017-12-281-0/+1
* - Added quotient types.Eduardo Julian2017-12-281-1/+2
* - Added module for predicates.Eduardo Julian2017-12-251-2/+4
* - Added type-safe modular arithmetic.Eduardo Julian2017-12-241-1/+1
* - Agent-based concurrency is just actors listening to FRP channels, so specia...Eduardo Julian2017-12-121-2/+0
* - Added some ~! to some macros to stop them from imposing dependencies.Eduardo Julian2017-12-021-4/+1
* - Added context-sensitive macro-expansion by means of "lux in-module", and re...Eduardo Julian2017-12-021-1/+3
* - Changed the identifier separator, from the semi-colon (;) to the period/dot...Eduardo Julian2017-11-291-74/+73
* - 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
* - Re-named "Lux" type to "Meta".Eduardo Julian2017-10-161-10/+10
* - 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
* - Implemented Agent-Oriented Programming.Eduardo Julian2017-08-031-0/+2