aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test/tests.lux (unfollow)
Commit message (Collapse)AuthorFilesLines
2018-07-29Moved evaluation machinery from new-luxc to stdlib.Eduardo Julian1-0/+1
2018-07-21Got rid of Object-Oriented Programming modules.Eduardo Julian1-4/+1
2018-07-21Re-named "Ident" to "Name".Eduardo Julian1-1/+1
2018-07-21- Re-named "Compiler" to "Phase".Eduardo Julian1-40/+40
- Re-structured the compiler infrastructure.
2018-07-21Moved "lux/language/type/*" to "lux/type/*".Eduardo Julian1-3/+2
2018-07-21Re-named "lux/world/blob" to "lux/world/binary".Eduardo Julian1-1/+1
2018-07-20No longer giving default aliases to un-prefixed imports.Eduardo Julian1-64/+68
2018-07-11- Improvements to import syntax [part 2].Eduardo Julian1-136/+170
2018-07-10- Improvements to import syntax [part 0].Eduardo Julian1-30/+65
2018-05-13- Re-named ".../eq" modules to ".../equality".Eduardo Julian1-1/+1
- Other minor improvements.
2018-05-10- Some improvements and fixes for stdlib.Eduardo Julian1-2/+4
2018-05-06- Removed "lux text upper" and "lux text lower" procedures.Eduardo Julian1-5/+5
2018-05-02- Moved the "wrap" function into Monad, and removed Applicative from Monad's ↵Eduardo Julian1-9/+9
family tree. - Moved the Free monad to its own module.
2018-05-01- Re-organized "lux/data/coll/tree/*" modules.Eduardo Julian1-3/+3
2018-05-01- Re-organized priority-queue modules.Eduardo Julian1-6/+6
2018-05-01- Re-named "lux/data/coll/dict/*" to "lux/data/coll/dictionary/*".Eduardo Julian1-2/+2
2018-05-01- Re-organized dict modules.Eduardo Julian1-3/+3
2018-05-01- Re-organized set modules.Eduardo Julian1-3/+3
2018-05-01- Re-named lux/control/cont to lux/control/continuation.Eduardo Julian1-1/+1
2018-02-11- Added initial implementation of protocol-based object-oriented programming.Eduardo Julian1-1/+3
2018-02-11- Re-named lux/type/object to lux/type/object/interface.Eduardo Julian1-1/+1
2018-02-07- Improved the way exceptions work.Eduardo Julian1-4/+5
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 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.
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-26 21:10:08 +0000