aboutsummaryrefslogtreecommitdiff
path: root/stdlib (unfollow)
Commit message (Collapse)AuthorFilesLines
2017-10-21- Added circular rings of type-variables to keep track of unified variables ↵Eduardo Julian2-118/+369
during type-checking.
2017-10-20- Re-named "Host" to "Primitive".Eduardo Julian13-87/+87
2017-10-20- Restored the capacity to get the failing seed.Eduardo Julian1-29/+18
2017-10-20- Replaced the "#seed" and "#times" options for "seed" and "times" test ↵Eduardo Julian55-3245/+3446
combinators.
2017-10-19- Implemented an more comfortable alternative to "with-expansions".Eduardo Julian3-138/+189
2017-10-18- Fixed a bug when converting an array into a list (also improved the ↵Eduardo Julian1-11/+13
performance).
2017-10-17- Added "for" macro to specify platform-dependent code.Eduardo Julian2-22/+71
- Some refactoring/re-naming.
2017-10-17- Simplified CLI.Eduardo Julian2-85/+75
- Added way to parse CLI argument anywhere within the inputs.
2017-10-17- Added custom "run" function for Syntax.Eduardo Julian1-31/+34
2017-10-16- Re-named "Lux" type to "Meta".Eduardo Julian67-749/+748
- Moved lux/type/* under lux/meta/*.
2017-10-16- Re-named "Meta" type to "Ann".Eduardo Julian3-94/+94
2017-10-16- Re-named "Vector" to "Sequence" to avoid confusion with mathematical vectors.Eduardo Julian13-144/+141
2017-10-16- Removed the useless Seq type.Eduardo Julian4-412/+0
2017-10-16- Re-named "Result" type back to "Error".Eduardo Julian75-927/+927
2017-10-16- Re-named lux/control/parser;opt to lux/control/parser;maybe.Eduardo Julian17-46/+46
2017-10-16- Re-named lux/world/fs to lux/world/file.Eduardo Julian3-2/+2
2017-10-16- Moved Array type to lux.lux.Eduardo Julian13-484/+479
- Re-named some array functions. - Minor refactorings.
2017-10-12- Renamed "%r" to "%f".Eduardo Julian3-3/+5
2017-10-11- Added seeds for failing tests.Eduardo Julian2-0/+2
2017-10-11- Forgot to commit update to tests for lux/type/check.Eduardo Julian1-73/+73
2017-10-11- Small refactorings.Eduardo Julian3-44/+50
2017-10-11- Added monoid composition.Eduardo Julian5-5/+13
2017-10-11- Eliminated the Anns and Ann-Value types, and now only using Code for ↵Eduardo Julian10-1208/+1318
definition annotations.
2017-10-04- Fixed the tests for lux/math/random.Eduardo Julian2-7/+6
2017-09-23swap wasn't swappingmccraig mccraig of the clan mccraig1-1/+3
2017-09-19- Changed the terminology of monoids ("append" -> "compose", "unit" -> ↵Eduardo Julian57-394/+394
"identity").
2017-09-19- Eliminated the redundant {X}-Array syntax for JVM array types.Eduardo Julian5-49/+22
2017-09-19- Some refactoring.Eduardo Julian66-366/+379
- Moved "assume" and "default" to lux/data/maybe.
2017-09-19- Fixed a bug with the "try" macro (it was dependent on the "function" ↵Eduardo Julian1-1/+1
symbol not being re-defined in the module where it is being used).
2017-09-19- Some improvements/refactoring for durations.Eduardo Julian2-22/+16
2017-09-19- Tree parsing.Eduardo Julian4-78/+124
2017-09-19- Added "when" function (great for piping).Eduardo Julian2-3/+10
2017-09-19- XML parsing.Eduardo Julian2-26/+163
2017-09-19- Added unary function support for the "infix" macro.Eduardo Julian2-54/+68
2017-09-19fix duration frame and encoding testsmccraig mccraig of the clan mccraig2-17/+23
2017-09-19Using leinigen lux plugin again and increased stacksize. I always got ↵StephenBDT1-1/+2
stackoverflows when trying to run the tests
2017-09-08- Re-named "jvm-import" to "import".Eduardo Julian7-42/+42
2017-09-05- Changed the code examples for JVM interop macros.Eduardo Julian1-60/+22
2017-09-05- Added polytypic JSON codec support for unit-types.Eduardo Julian5-45/+86
2017-09-05- Added tests for lux/math/random.Eduardo Julian2-1/+56
2017-09-05- Renamed bitwise right-shifting functions.Eduardo Julian7-31/+28
2017-09-04- Simplified code for JSON format.Eduardo Julian5-405/+369
- Moved JSON polytypism to the lux/macro/poly/* branch.
2017-09-04- Simple types are no longer matched by their names, but by the types ↵Eduardo Julian4-39/+39
themselves.
2017-09-04- $_ and _$ macros now handle better "operator" code that is a form. e.g.Eduardo Julian1-6/+12
($_ (::: +) 1 2 3) => (::: + 1 (::: + 2 3)) instead of ((::: +) 1 ((::: +) 2 3))
2017-09-04- Renamed "Log" to "Writer".Eduardo Julian3-27/+27
2017-09-04- Implemented network I/O for TCP and UDP (in the JVM).Eduardo Julian6-1/+377
2017-09-04- Re-named "real" numbers to "frac"(tions).Eduardo Julian32-565/+564
2017-08-30- Added HTML-generation module.Eduardo Julian3-3/+154
- Added CSS-generation module.
2017-08-22- Small fixes and refactorings.Eduardo Julian1-1/+1
2017-08-22- Improved naming convention for quotient types.Eduardo Julian1-4/+4