aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux (follow)
Commit message (Expand)AuthorAgeFilesLines
* - Re-named "Host" to "Primitive".Eduardo Julian2017-10-201-28/+28
* - Implemented an more comfortable alternative to "with-expansions".Eduardo Julian2017-10-191-4/+61
* - Added "for" macro to specify platform-dependent code.Eduardo Julian2017-10-171-18/+57
* - Re-named "Lux" type to "Meta".Eduardo Julian2017-10-161-222/+222
* - Re-named "Meta" type to "Ann".Eduardo Julian2017-10-161-91/+91
* - Re-named "Vector" to "Sequence" to avoid confusion with mathematical vectors.Eduardo Julian2017-10-161-3/+3
* - Moved Array type to lux.lux.Eduardo Julian2017-10-161-0/+4
* - Eliminated the Anns and Ann-Value types, and now only using Code for defini...Eduardo Julian2017-10-111-987/+1086
* - Changed the terminology of monoids ("append" -> "compose", "unit" -> "ident...Eduardo Julian2017-09-191-110/+110
* - Some refactoring.Eduardo Julian2017-09-191-6/+2
* - Added "when" function (great for piping).Eduardo Julian2017-09-191-2/+9
* - $_ and _$ macros now handle better "operator" code that is a form. e.g.Eduardo Julian2017-09-041-6/+12
* - Re-named "real" numbers to "frac"(tions).Eduardo Julian2017-09-041-46/+46
* - Small fixes and refactorings.Eduardo Julian2017-08-221-1/+1
* - Re-implemented polytypic matchers in terms of lux/control/parser.Eduardo Julian2017-08-021-1/+1
* - Can now generate Eq instances for #rec-style recursive types.Eduardo Julian2017-07-151-2/+2
* - Lux no longer has a Char primitive data-type.Eduardo Julian2017-07-021-122/+84
* - Added #compiler-name back to Compiler-Info.Eduardo Julian2017-06-231-10/+16
* - Renamed "App" to "Apply" and swapped the order of the arguments to it.Eduardo Julian2017-06-211-107/+117
* - Changed the type of Def so that values have type Top, instead of Void.Eduardo Julian2017-06-191-6/+6
* - Fixed a bug when generating the aliases of modules involving relative addre...Eduardo Julian2017-06-191-3/+3
* - Added Hash<Bool> and as-is macro..Eduardo Julian2017-06-141-3/+6
* - Renamed ^=> to ^multi.Eduardo Julian2017-05-241-4/+4
* - Defined the dummy-cursor (to be used anywhere needed).Eduardo Julian2017-05-151-4/+5
* - Small fixes and refactorings.Eduardo Julian2017-05-091-2/+2
* - Renamed "AST" to "Code".Eduardo Julian2017-05-071-201/+201
* - Changed the name of "let%" to "with-expansions".Eduardo Julian2017-05-071-24/+27
* - Removed "T" suffix from Type's tags.Eduardo Julian2017-05-071-373/+373
* - Fully implemented Deg encoding/decoding in pure Lux.Eduardo Julian2017-05-071-7/+4
* - Removed the "Debug" compiler mode.Eduardo Julian2017-05-041-13/+9
* - Removed the "S" suffix from AST tags.Eduardo Julian2017-05-031-402/+402
* - Changes the types of a few compiler-state components.Eduardo Julian2017-05-031-9/+6
* - Changed the way Scope works, to make it independent from the notion of Anal...Eduardo Julian2017-05-011-14/+29
* - Renamed fields of scopes.Eduardo Julian2017-04-301-13/+13
* - Updated the compiler's type-checking context to match it with lux/type/check.Eduardo Julian2017-04-301-16/+36
* - Small refactorings and fixes.Eduardo Julian2017-04-301-28/+35
* - Simplified some of the documentation and error messages.Eduardo Julian2017-04-121-14/+14
* - Renamed "LambdaT" to "FunctionT".Eduardo Julian2017-04-101-69/+69
* - Renamed _lux_lambda to _lux_function.Eduardo Julian2017-04-101-72/+72
* - Renamed "lambda" to "function".Eduardo Julian2017-04-101-362/+362
* - Renamed lambda' and lambda'' to function' and function''.Eduardo Julian2017-04-101-613/+613
* - Fixed a bug in the way the Rec macro worked (it didn't update the indices o...Eduardo Julian2017-04-081-1/+2
* - Renamed lux/data/text;replace to replace-all.Eduardo Julian2017-04-061-10/+10
* - Moved lux/lexer and lux/lexer/regex to lux/data/text/lexer and lux/data/tex...Eduardo Julian2017-04-051-65/+1
* - :: can now be used to refer to sub-structures within a structure.Eduardo Julian2017-04-041-35/+50
* - Implemented Int encoding/decoding in the standard library.Eduardo Julian2017-04-031-78/+85
* - Nat encoding/decoding is now implemented in the standard library.Eduardo Julian2017-03-301-4/+25
* - Forgot commit the change about ["jvm" "try"] for lux/host.jvm.luxEduardo Julian2017-03-281-21/+26
* - Re-designed atomic operations as common procedures.Eduardo Julian2017-02-231-5/+5
* - Implemented a variety of new procedures for text, chars, math and arrays.Eduardo Julian2017-02-221-7/+11
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-13 01:38:24 +0000