aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux (unfollow)
Commit message (Collapse)AuthorFilesLines
2017-10-20- Re-named "Host" to "Primitive".Eduardo Julian1-28/+28
2017-10-19- Implemented an more comfortable alternative to "with-expansions".Eduardo Julian1-4/+61
2017-10-17- Added "for" macro to specify platform-dependent code.Eduardo Julian1-18/+57
- Some refactoring/re-naming.
2017-10-16- Re-named "Lux" type to "Meta".Eduardo Julian1-222/+222
- Moved lux/type/* under lux/meta/*.
2017-10-16- Re-named "Meta" type to "Ann".Eduardo Julian1-91/+91
2017-10-16- Re-named "Vector" to "Sequence" to avoid confusion with mathematical vectors.Eduardo Julian1-3/+3
2017-10-16- Moved Array type to lux.lux.Eduardo Julian1-0/+4
- Re-named some array functions. - Minor refactorings.
2017-10-11- Eliminated the Anns and Ann-Value types, and now only using Code for ↵Eduardo Julian1-987/+1086
definition annotations.
2017-09-19- Changed the terminology of monoids ("append" -> "compose", "unit" -> ↵Eduardo Julian1-110/+110
"identity").
2017-09-19- Some refactoring.Eduardo Julian1-6/+2
- Moved "assume" and "default" to lux/data/maybe.
2017-09-19- Added "when" function (great for piping).Eduardo Julian1-2/+9
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- Re-named "real" numbers to "frac"(tions).Eduardo Julian1-46/+46
2017-08-22- Small fixes and refactorings.Eduardo Julian1-1/+1
2017-08-02- Re-implemented polytypic matchers in terms of lux/control/parser.Eduardo Julian1-1/+1
2017-07-15- Can now generate Eq instances for #rec-style recursive types.Eduardo Julian1-2/+2
- Minor refactorings.
2017-07-02- Lux no longer has a Char primitive data-type.Eduardo Julian1-122/+84
2017-06-23- Added #compiler-name back to Compiler-Info.Eduardo Julian1-10/+16
2017-06-21- Renamed "App" to "Apply" and swapped the order of the arguments to it.Eduardo Julian1-107/+117
- Also did argument swapping for lux/type;application.
2017-06-19- Changed the type of Def so that values have type Top, instead of Void.Eduardo Julian1-6/+6
2017-06-19- Fixed a bug when generating the aliases of modules involving relative ↵Eduardo Julian1-3/+3
addressing ("." and "..").
2017-06-14- Added Hash<Bool> and as-is macro..Eduardo Julian1-3/+6
2017-05-24- Renamed ^=> to ^multi.Eduardo Julian1-4/+4
2017-05-15- Defined the dummy-cursor (to be used anywhere needed).Eduardo Julian1-4/+5
2017-05-09- Small fixes and refactorings.Eduardo Julian1-2/+2
2017-05-07- Renamed "AST" to "Code".Eduardo Julian1-201/+201
2017-05-07- Changed the name of "let%" to "with-expansions".Eduardo Julian1-24/+27
2017-05-07- Removed "T" suffix from Type's tags.Eduardo Julian1-373/+373
2017-05-07- Fully implemented Deg encoding/decoding in pure Lux.Eduardo Julian1-7/+4
- No longer relying in LuxRT-supported implementations.
2017-05-04- Removed the "Debug" compiler mode.Eduardo Julian1-13/+9
2017-05-03- Removed the "S" suffix from AST tags.Eduardo Julian1-402/+402
2017-05-03- Changes the types of a few compiler-state components.Eduardo Julian1-9/+6
2017-05-01- Changed the way Scope works, to make it independent from the notion of ↵Eduardo Julian1-14/+29
Analysis, and make it easier to port to the new re-written compiler. - Fixed a type-bug when asserting whether a def is being re-defined.
2017-04-30- Renamed fields of scopes.Eduardo Julian1-13/+13
2017-04-30- Updated the compiler's type-checking context to match it with lux/type/check.Eduardo Julian1-16/+36
2017-04-30- Small refactorings and fixes.Eduardo Julian1-28/+35
- Added <|. macro.
2017-04-12- Simplified some of the documentation and error messages.Eduardo Julian1-14/+14
2017-04-10- Renamed "LambdaT" to "FunctionT".Eduardo Julian1-69/+69
2017-04-10- Renamed _lux_lambda to _lux_function.Eduardo Julian1-72/+72
2017-04-10- Renamed "lambda" to "function".Eduardo Julian1-362/+362
2017-04-10- Renamed lambda' and lambda'' to function' and function''.Eduardo Julian1-613/+613
2017-04-08- Fixed a bug in the way the Rec macro worked (it didn't update the indices ↵Eduardo Julian1-1/+2
of its body type).
2017-04-06- Renamed lux/data/text;replace to replace-all.Eduardo Julian1-10/+10
- Did some refactorings for lexers.
2017-04-05- Moved lux/lexer and lux/lexer/regex to lux/data/text/lexer and ↵Eduardo Julian1-65/+1
lux/data/text/regex. - Moved lux/pipe to lux/control/pipe. - Moved the @pre and @post macros to lux/control/contract. - Improved error reporting for lux/type/auto. - Added a test for third-order type-checking for lux/type/auto. - Fixed a bug in the tests for lux/data/coll/vector.
2017-04-04- :: can now be used to refer to sub-structures within a structure.Eduardo Julian1-35/+50
2017-04-03- Implemented Int encoding/decoding in the standard library.Eduardo Julian1-78/+85
- Moved some type-constructors for building functor types into the lux/control/functor module. - Renamed Ord to Order. - Renamed Env to Reader.
2017-03-30- Nat encoding/decoding is now implemented in the standard library.Eduardo Julian1-4/+25
2017-03-28- Forgot commit the change about ["jvm" "try"] for lux/host.jvm.luxEduardo Julian1-21/+26
2017-02-23- Re-designed atomic operations as common procedures.Eduardo Julian1-5/+5
- Implemented atomic operations for the JVM. - Basic Lux types no longer rely on JVM classes.
2017-02-22- Implemented a variety of new procedures for text, chars, math and arrays.Eduardo Julian1-7/+11
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-06 06:32:50 +0000