aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux (follow)
Commit message (Expand)AuthorAgeFilesLines
* - 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
* - Implemented several new procedures.Eduardo Julian2017-02-161-74/+88
* - Now doing common array analysis/compilation.Eduardo Julian2017-02-111-9/+8
* - Added support for compiling _lux_proc (some procedures).Eduardo Julian2017-02-051-151/+147
* - The data for checking which exceptions are being catched has been moved fro...Eduardo Julian2017-01-301-17/+22
* - More refactorings.Eduardo Julian2017-01-301-22/+41
* - Changed the license from MPL 2.0 to MIT.Eduardo Julian2017-01-261-5/+0
* - Moved the lux/data/struct/* modules to lux/data/coll/*.Eduardo Julian2017-01-251-7/+7
* - Renamed lux/data/struct/tree to lux/data/struct/tree/rose.Eduardo Julian2017-01-251-206/+206
* - Added some type combinators for type constructors.Eduardo Julian2017-01-171-0/+9
* - Fixed a lot of errors in the documentation.Eduardo Julian2017-01-061-2/+3
* - Moved the template: macro to the lux module.Eduardo Julian2017-01-041-0/+114
* - Updated documentation for lux/cli, lux/compiler, lux/codata/*.Eduardo Julian2017-01-021-2/+2
* - Simple refactorings.Eduardo Julian2017-01-021-82/+178
* - Can make definitions that have meta-data but no type.Eduardo Julian2017-01-011-23/+29
* - Added the type-of macro.Eduardo Julian2016-12-171-14/+24
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-12 23:35:11 +0000