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