aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test (unfollow)
Commit message (Expand)AuthorFilesLines
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
2017-10-17- Added "for" macro to specify platform-dependent code.Eduardo Julian1-4/+14
2017-10-17- Simplified CLI.Eduardo Julian1-39/+35
2017-10-16- Re-named "Lux" type to "Meta".Eduardo Julian13-46/+46
2017-10-16- Re-named "Meta" type to "Ann".Eduardo Julian2-3/+3
2017-10-16- Re-named "Vector" to "Sequence" to avoid confusion with mathematical vectors.Eduardo Julian4-32/+32
2017-10-16- Removed the useless Seq type.Eduardo Julian2-130/+0