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
/
new-luxc
/
source
/
luxc
/
lang
/
analysis
/
inference.lux
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2018-05-16
- Migrated structure analysis to stdlib.
Eduardo Julian
1
-252
/
+0
2018-04-06
- Adapted new-luxc's code to latest stdlib changes.
Eduardo Julian
1
-11
/
+17
2018-01-04
- Fixed inference involving existentials.
Eduardo Julian
1
-3
/
+24
2017-11-29
- Adapted main codebase to the latest syntatic changes.
Eduardo Julian
1
-94
/
+94
2017-11-22
- Fixed some bugs.
Eduardo Julian
1
-11
/
+27
2017-11-15
- Re-named "lux/meta" to to "lux/macro".
Eduardo Julian
1
-20
/
+20
2017-11-15
- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".
Eduardo Julian
1
-1
/
+1
2017-11-15
- Moved "luxc/lang/syntax" to "lux/lang/syntax".
Eduardo Julian
1
-1
/
+1
2017-11-15
- Heavy refactoring.
Eduardo Julian
1
-1
/
+1
2017-11-14
- Yet more refactoring.
Eduardo Julian
1
-57
/
+23
2017-11-13
- More refactoring.
Eduardo Julian
1
-25
/
+25
2017-11-13
- Refactoring.
Eduardo Julian
1
-14
/
+13
2017-11-13
- Type-vars no longer get deleted.
Eduardo Julian
1
-5
/
+7
2017-11-12
- Fixed some bugs.
Eduardo Julian
1
-16
/
+30
2017-10-31
- Re-organized analysis.
Eduardo Julian
1
-2
/
+2
2017-10-29
- Fixed some bugs.
Eduardo Julian
1
-57
/
+101
2017-10-21
- Updated new compiler to latest version of stdlib.
Eduardo Julian
1
-2
/
+2
2017-10-18
- Updated to the latest changes in stdlib.
Eduardo Julian
1
-17
/
+17
2017-10-11
- Migrated new-luxc to latest version of stdlib.
Eduardo Julian
1
-10
/
+11
2017-06-27
- Adapted compiler to the latest stdlib changes.
Eduardo Julian
1
-3
/
+3
2017-05-30
- Documented the analysis phase.
Eduardo Julian
1
-8
/
+101
2017-05-20
WIP
Eduardo Julian
1
-0
/
+90