aboutsummaryrefslogtreecommitdiff
path: root/stdlib (follow)
Commit message (Expand)AuthorAgeFilesLines
* Order for names.Eduardo Julian2019-04-171-0/+19
* Pattern-matching can now handle universally quantified sums.Eduardo Julian2019-04-172-27/+40
* Now "refreshing" the evaluator every time a new definition is processed.Eduardo Julian2019-04-174-40/+53
* Fixed an issue with weird spacing at the end of lines in "lux/time/duration".Eduardo Julian2019-04-173-38/+48
* - Re-named the "lux convert ..." extensions to "lux conversion ...".Eduardo Julian2019-04-173-122/+163
* The "invalid-syntax" can now be parameterized with the formatter for the inputs.Eduardo Julian2019-04-163-19/+15
* Made some new-luxc modules "old".Eduardo Julian2019-04-161-0/+0
* The old compiler is now identified with "old" instead of "jvm". This should h...Eduardo Julian2019-04-1636-58/+64
* Small import fixes for the sake of tags.Eduardo Julian2019-04-168-30/+35
* Improvements to error messaging for extensions.Eduardo Julian2019-04-165-48/+56
* Some fixes to the parser.Eduardo Julian2019-04-162-33/+51
* Made some fixes the the type-checker, to properly handle the situation of typ...Eduardo Julian2019-04-161-77/+121
* Yet more improvements to error messaging.Eduardo Julian2019-04-152-5/+14
* More improvements to error messages.Eduardo Julian2019-04-154-50/+39
* Improved error reporting in the (new) compilers.Eduardo Julian2019-04-1515-257/+289
* Removed the (deemed unnecessary) host extensions for the scripting languages.Eduardo Julian2019-04-1511-231/+11
* Ported the synthesis tests to the new format.Eduardo Julian2019-04-1512-460/+472
* Ported the analysis tests to the new format.Eduardo Julian2019-04-1421-1111/+1162
* Small improvements and clean-up.Eduardo Julian2019-04-141-80/+41
* Fixed a bug when closing composite syntax (forms, tuples & records) in the pr...Eduardo Julian2019-04-143-107/+154
* Some refactoring.Eduardo Julian2019-04-131-74/+45
* Started porting tests for "lux/tool".Eduardo Julian2019-04-134-168/+183
* Fixed some bugs.Eduardo Julian2019-04-124-44/+36
* Improvements and fixes to "tuple//left" and "tuple//right".Eduardo Julian2019-04-127-96/+116
* Added some debugging machinery.Eduardo Julian2019-04-121-0/+75
* WIP: Lua compiler.Eduardo Julian2019-04-1117-19/+1370
* WIP: Ruby compiler.Eduardo Julian2019-04-095-8/+6
* Moved Ruby back-end code to stdlib.Eduardo Julian2019-04-0819-83/+1483
* Upgraded the tuple right-access mechanism to the new style.Eduardo Julian2019-04-074-66/+74
* Updated the JVM compiler to the latest changes.Eduardo Julian2019-04-072-36/+2
* - Upgrade the tuple left-access mechanism to the new style.Eduardo Julian2019-04-0729-65/+81
* Moved "lux/cli", "lux/io" and "lux/function" under "lux/control".Eduardo Julian2019-04-0670-194/+222
* Created the "lux/abstract" branch and moved some modules into it.Eduardo Julian2019-04-06266-410/+531
* Added a small optimization when checking variants whose internal value can is...Eduardo Julian2019-04-044-67/+122
* Fixed a bug when pattern matching against "Error" values.Eduardo Julian2019-04-042-18/+21
* Updated JavaScript compiler.Eduardo Julian2019-04-042-57/+57
* - Updated analysis phase.Eduardo Julian2019-04-043-26/+26
* Forgot "lux text char".Eduardo Julian2019-04-048-10/+10
* Changed the order of the inputs to the common extensions.Eduardo Julian2019-04-049-209/+196
* Added Lux version to manifests.Eduardo Julian2019-03-311-0/+1
* Re-named "do-template" to "template".Eduardo Julian2019-03-30155-643/+639
* Yet more fixes.Eduardo Julian2019-03-305-19/+34
* Fixed some more tests.Eduardo Julian2019-03-306-29/+38
* Fixed more tests.Eduardo Julian2019-03-2919-533/+484
* Fixed some tests.Eduardo Julian2019-03-2818-255/+337
* The Python compiler is alive.Eduardo Julian2019-03-279-416/+452
* Got the Python compiler running.Eduardo Julian2019-03-263-9/+13
* WIP: Moved Python code-generation machinery over to stdlib.Eduardo Julian2019-03-2624-187/+1747
* Ported tests for world-related modules.Eduardo Julian2019-03-259-364/+409
* Ported tests for type-related modules.Eduardo Julian2019-03-249-482/+484
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 23:51:25 +0000