aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source (follow)
Commit message (Expand)AuthorAgeFilesLines
* Now implementing math functionality in stdlib instead of the compiler.Eduardo Julian2018-07-3010-378/+0
* Updating new-luxc to latest Lux changes [Part 1].Eduardo Julian2018-07-303-12/+26
* Updating new-luxc to latest Lux changes [Part 0].Eduardo Julian2018-07-301-10/+9
* Adapted new-luxc to some of the latest changes to Lux.Eduardo Julian2018-07-2913-243/+214
* Moved evaluation machinery from new-luxc to stdlib.Eduardo Julian2018-07-291-20/+0
* - Some fixes due to recent changes in stdlib.Eduardo Julian2018-07-2253-1179/+962
* Re-named "Symbol" to "Identifier".Eduardo Julian2018-07-2135-92/+92
* WIP: Fix new-luxc's JVM back-end. [Part 2]Eduardo Julian2018-07-194-249/+248
* WIP: Fix new-luxc's JVM back-end.Eduardo Julian2018-07-1813-843/+819
* Switched to using new bit syntax in new-luxc.Eduardo Julian2018-07-1433-164/+164
* Re-named "Bool" type to "Bit".Eduardo Julian2018-07-1355-106/+116
* - Removed "lux text hash" extension.Eduardo Julian2018-07-1111-49/+3
* - Removed stale machinery for "lux int min" and "lux int max".Eduardo Julian2018-07-119-87/+3
* - Got rid of "lux text replace-once" and "lux text replace-all" extensions.Eduardo Julian2018-07-1110-142/+11
* - Re-named "type-of" to ":of".Eduardo Julian2018-07-111-1/+1
* - Ported caching machinery for default compiler.Eduardo Julian2018-07-101-139/+0
* - Ported caching machinery for Lux Meta-Compiler to stdlib.Eduardo Julian2018-07-083-250/+0
* - Moved LuxC's I/O to stdlib.Eduardo Julian2018-07-081-121/+0
* - Moved the type-based value representation of the REPL into the standard lib...Eduardo Julian2018-07-071-199/+4
* - Re-named "degree" to "revolution".Eduardo Julian2018-07-0422-91/+23
* - Re-named Bound to Paremeter.Eduardo Julian2018-07-041-8/+8
* - Implemented not-a-number and both infinities in pure Lux.Eduardo Julian2018-07-048-98/+2
* - Improved abstract types.Eduardo Julian2018-07-038-40/+0
* - Re-named "import" to "import:".Eduardo Julian2018-07-0335-190/+190
* - Re-named "@abstraction" to ":abstraction" and "@representation" to ":repres...Eduardo Julian2018-07-034-156/+156
* - Re-named ":!" to ":coerce".Eduardo Julian2018-07-0347-411/+411
* - Re-named ":!!" to ":assume".Eduardo Julian2018-07-031-1/+1
* - Migrated Scheme back-end to stdlib.Eduardo Julian2018-06-1715-1769/+0
* - WIP: Adjustments to new-luxc based on recent changes to stdlib.Eduardo Julian2018-06-1574-377/+361
* - Migrated synthesis to stdlib.Eduardo Julian2018-06-141-99/+0
* - WIP: Migrated synthesis to stdlib.Eduardo Julian2018-05-263-419/+0
* - Migrated special-form analysis to stdlib.Eduardo Julian2018-05-236-1834/+0
* - Re-named "Top" to "Any", and "Bottom" to "Nothing".Eduardo Julian2018-05-2052-281/+228
* - Migrated pattern-matching analysis to stdlib.Eduardo Julian2018-05-202-612/+0
* - Migrated function analysis to stdlib.Eduardo Julian2018-05-162-158/+0
* - Migrated reference analysis to stdlib.Eduardo Julian2018-05-164-245/+1
* - Migrated structure analysis to stdlib.Eduardo Julian2018-05-167-1156/+0
* - Migrated primitive analysis to stdlib.Eduardo Julian2018-05-153-184/+0
* - Adjusted new-luxc to latest changes.Eduardo Julian2018-05-108-44/+41
* - Re-named "Compiler" type to "Lux".Eduardo Julian2018-05-107-23/+22
* - Re-named "lux process concurrency-level" to "lux process parallelism-level".Eduardo Julian2018-05-0816-137/+88
* - Implemented bit-count in pure Lux.Eduardo Julian2018-05-0714-123/+2
* - Implemented Deg functionality in pure Lux.Eduardo Julian2018-05-0714-713/+4
* - Implemented Nat functionality in pure Lux.Eduardo Julian2018-05-0615-687/+29
* - Re-named shift-left -> left-shift, shift-right -> logical-right-shift, sign...Eduardo Julian2018-05-0622-166/+130
* - Removed "lux text upper" and "lux text lower" procedures.Eduardo Julian2018-05-0612-36/+2
* - Updated new-luxc to the latest stdlib changes.Eduardo Julian2018-05-0687-255/+247
* - WIP: - Initial PHP back-end implementation [missing procedures].Eduardo Julian2018-05-0115-365/+1256
* - WIP: - Initial PHP back-end implementation.Eduardo Julian2018-04-2711-29/+1450
* - Initial Common Lisp back-end implementation.Eduardo Julian2018-04-2515-0/+2227