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
/
dependent.md
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2022-08-10
Extracted property-based testing machinery into its own module.
Eduardo Julian
1
-47
/
+51
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
1
-0
/
+1
2021-07-15
Re-named "spec" hierarchy to "specification".
Eduardo Julian
1
-0
/
+1
2021-05-18
Got rid of the {}s in ":share" and made it pipe-able.
Eduardo Julian
1
-0
/
+2
2021-02-07
Mo' updates, less problems.
Eduardo Julian
1
-0
/
+4
2020-12-04
Re-named old luxc-jvm to lux-bootstrapper.
Eduardo Julian
1
-0
/
+1
2020-12-02
Test for Aedifex's "auto" command.
Eduardo Julian
1
-0
/
+1
2020-10-31
Re-named the directory for my bookmarks to better reflect what they are.
Eduardo Julian
1
-0
/
+0
2020-05-10
Now properly loading the cached definitions.
Eduardo Julian
1
-0
/
+1
2019-09-07
Modified compiler's machinery to use the new abstractions for descriptors and...
Eduardo Julian
1
-0
/
+4
2019-07-24
Small improvements here and there.
Eduardo Julian
1
-0
/
+38