aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test (unfollow)
Commit message (Expand)AuthorFilesLines
2018-02-11- Re-named lux/type/object to lux/type/object/interface.Eduardo Julian2-2/+2
2018-02-07- Fixed tests in stdlib.Eduardo Julian6-70/+80
2018-02-07- Improved the way exceptions work.Eduardo Julian5-30/+31
2018-01-30- Small refactorings.Eduardo Julian1-3/+3
2018-01-30- Implemented semaphores, mutexes and barriers.Eduardo Julian3-2/+146
2018-01-16- Added sub-structural types (for synchronous IO and asynchronous Promise).Eduardo Julian1-0/+46
2018-01-03- Small refactorings.Eduardo Julian1-4/+0
2017-12-31- Added region-based resource management.Eduardo Julian2-1/+102
2017-12-31- Added safe (single-threaded) mutation.Eduardo Julian2-1/+22
2017-12-31- Added safe (single-threaded) mutation.Eduardo Julian2-1/+22
2017-12-31- Added bit-sets.Eduardo Julian4-2/+97
2017-12-28- A small, in-development module for doing constructive mathematics with some...Eduardo Julian2-0/+59
2017-12-28- Added quotient types.Eduardo Julian1-1/+2
2017-12-25- Added module for predicates.Eduardo Julian2-3/+5
2017-12-24- Minor refactorings and bug fixes.Eduardo Julian2-8/+9
2017-12-24- Added type-safe modular arithmetic.Eduardo Julian2-1/+147
2017-12-12- Agent-based concurrency is just actors listening to FRP channels, so specia...Eduardo Julian2-25/+0
2017-12-12- FRP channels are no longer asynchronously-built lists, but rather mediums f...Eduardo Julian4-178/+167
2017-12-10- Some minor refactoring.Eduardo Julian1-18/+3
2017-12-05- Brought luxc and new-luxc closer together.Eduardo Julian1-6/+6
2017-12-04- lux/world/file now works with Process, instead of Task.Eduardo Julian1-84/+94
2017-12-04- No longer deleting type-vars in luxc, to better match it with the type-chec...Eduardo Julian1-2/+2
2017-12-04- Implemented unit types on top of abstract types.Eduardo Julian1-5/+4
2017-12-03- Fixed some small issues uncovered by new-luxc.Eduardo Julian2-3/+3
2017-12-02- Added some ~! to some macros to stop them from imposing dependencies.Eduardo Julian2-5/+1
2017-12-02- Added context-sensitive macro-expansion by means of "lux in-module", and re...Eduardo Julian3-3/+8
2017-11-29- Changed the identifier separator, from the semi-colon (;) to the period/dot...Eduardo Julian71-2625/+2624
2017-11-28- Re-named the "." function to "compose" and moved it to lux/function.Eduardo Julian7-24/+17
2017-11-27- Changed the syntax involved in JVM host-interop.Eduardo Julian2-29/+28
2017-11-27- Got rid of even more dots.Eduardo Julian31-119/+120
2017-11-27- Changed the prefixes of numeric functions.Eduardo Julian62-669/+667
2017-11-26- Changed to the new relative imports syntax.Eduardo Julian5-14/+14
2017-11-23- Added console I/O.Eduardo Julian1-1/+2
2017-11-21- Fixed some bugs.Eduardo Julian3-30/+41
2017-11-20- Added parallel compilation.Eduardo Julian4-33/+41
2017-11-16- Added "Process" type for IO operations that can fail.Eduardo Julian3-9/+9
2017-11-15- Re-named "lux/meta" to to "lux/macro".Eduardo Julian10-47/+47
2017-11-15- Moved "/type/*" to from "lux/meta/" to "lux/".Eduardo Julian4-12/+12
2017-11-15- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".Eduardo Julian4-17/+14
2017-11-15- Re-named "lux/meta/type/auto" to "lux/meta/type/implicit".Eduardo Julian2-2/+2
2017-11-15- Moved "luxc/lang/syntax" to "lux/lang/syntax".Eduardo Julian2-0/+234
2017-11-14- Removed "lux text last-index" procedure.Eduardo Julian2-22/+7
2017-11-14- Yet more refactoring.Eduardo Julian1-28/+31
2017-11-13- Type-vars no longer get deleted.Eduardo Julian1-45/+23
2017-11-06- Changed how Lux procedures work on the old compiler and the stdlib.Eduardo Julian2-6/+6
2017-10-26- 2 tests in the stdlib got fixed after the random unicode text fix.Eduardo Julian2-2/+2
2017-10-22- Better names for piping macros.Eduardo Julian1-23/+20
2017-10-21- Added circular rings of type-variables to keep track of unified variables d...Eduardo Julian1-7/+108
2017-10-20- Re-named "Host" to "Primitive".Eduardo Julian1-11/+11
2017-10-20- Replaced the "#seed" and "#times" options for "seed" and "times" test combi...Eduardo Julian53-3067/+3312