index
:
lux
master
fork of https://github.com/LuxLang/lux for my bookshelf
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
documentation
/
bookmark
/
type_theory
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
Added support for saturation arithmetic.
Eduardo Julian
2022-11-25
1
-0
/
+4
*
Fixed test suite.
Eduardo Julian
2022-08-12
1
-0
/
+5
*
Extracted property-based testing machinery into its own module.
Eduardo Julian
2022-08-10
1
-47
/
+51
*
First-class programs instead of having a "lux program" extension.
Eduardo Julian
2022-07-09
1
-0
/
+2
*
Better syntax for invoking super methods inside overriden methods.
Eduardo Julian
2022-06-14
1
-0
/
+5
*
Properly handling variance for arrays to avoid invalid subtyping.
Eduardo Julian
2022-04-04
1
-2
/
+3
*
Can now add type-vars to imported procedures from scripting languages.
Eduardo Julian
2022-03-14
1
-0
/
+4
*
Dusting off the pure-Lux JVM compiler machinery.
Eduardo Julian
2021-12-24
2
-4
/
+6
*
Ruby compilation that is better adjusted to both normal Ruby and MRuby.
Eduardo Julian
2021-11-29
1
-0
/
+1
*
Fixed packaging issue.
Eduardo Julian
2021-10-09
1
-0
/
+1
*
Enabled compile-time code evaluation (i.e. "eval" function).
Eduardo Julian
2021-08-19
1
-0
/
+1
*
Now allowing compilers to generate custom-named outputs.
Eduardo Julian
2021-07-17
3
-0
/
+6
*
Re-named "spec" hierarchy to "specification".
Eduardo Julian
2021-07-15
4
-0
/
+10
*
Made the "try" macro into a common one, instead of a host-specific one.
Eduardo Julian
2021-07-10
1
-0
/
+4
*
Got rid of the {}s in ":share" and made it pipe-able.
Eduardo Julian
2021-05-18
5
-0
/
+67