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
Commit message (
Expand
)
Author
Age
Files
Lines
*
- WIP: Infrastructure to interact with Nashorn interpreter.
Eduardo Julian
2018-01-23
2
-2
/
+382
*
- Fixed a type-bug in old compiler.
Eduardo Julian
2018-01-23
1
-1
/
+1
*
- WIP: Host procedures for JS.
Eduardo Julian
2018-01-21
15
-131
/
+1491
*
- Added sub-structural types (for synchronous IO and asynchronous Promise).
Eduardo Julian
2018-01-16
2
-0
/
+233
*
- Added indexed/parameterized monads.
Eduardo Julian
2018-01-16
1
-0
/
+61
*
- WIP: JS runtime.
Eduardo Julian
2018-01-09
1
-0
/
+1096
*
- Re-factored initialization functions to their own module.
Eduardo Julian
2018-01-08
4
-35
/
+51
*
- Moved all translation code under the JVM path (in preparation for porting t...
Eduardo Julian
2018-01-08
22
-55
/
+57
*
- Now using synthesis extensions during synthesis.
Eduardo Julian
2018-01-08
5
-19
/
+45
*
- Added "lux program" compilation.
Eduardo Julian
2018-01-05
3
-9
/
+80
*
- Fixed inference involving existentials.
Eduardo Julian
2018-01-04
2
-6
/
+28
*
- Small refactorings.
Eduardo Julian
2018-01-03
8
-23
/
+27
*
- Added "Box" support to new-luxc.
Eduardo Julian
2018-01-03
2
-1
/
+83
*
- Fixed a bug when creating directories during compilation.
Eduardo Julian
2018-01-03
1
-7
/
+10
*
- Removed lux/control/transform for now...
Eduardo Julian
2018-01-03
1
-465
/
+0
*
- Added functor, applicative, monad and co-monad implementations.
Eduardo Julian
2018-01-02
1
-109
/
+310
*
- Made transformer state internal to the transformers.
Eduardo Julian
2018-01-02
1
-175
/
+161
*
- Simplified transformation steps.
Eduardo Julian
2018-01-02
1
-73
/
+60
*
- Added lux/macro.log-type macro for easier debugging.
Eduardo Julian
2018-01-02
1
-1
/
+21
*
- Initial implementation of transforms.
Eduardo Julian
2018-01-02
1
-0
/
+291
*
- Updated copyright notice in README.
Eduardo Julian
2018-01-02
1
-1
/
+1
*
- Fixed a bug during optimization in old luxc.
Eduardo Julian
2018-01-02
1
-1
/
+1
*
MERGED
Eduardo Julian
2017-12-31
0
-0
/
+0
|
\
|
*
- Added safe (single-threaded) mutation.
Eduardo Julian
2017-12-31
5
-1
/
+187
*
|
- Added region-based resource management.
Eduardo Julian
2017-12-31
4
-2
/
+249
*
|
- Added safe (single-threaded) mutation.
Eduardo Julian
2017-12-31
6
-3
/
+196
|
/
*
- Added bit-sets.
Eduardo Julian
2017-12-31
10
-42
/
+309
*
- A small, in-development module for doing constructive mathematics with some...
Eduardo Julian
2017-12-28
3
-0
/
+255
*
- Fixed function application involving existential quantification in the old ...
Eduardo Julian
2017-12-28
1
-3
/
+16
*
- Added quotient types.
Eduardo Julian
2017-12-28
2
-1
/
+70
*
- Added module for predicates.
Eduardo Julian
2017-12-25
11
-38
/
+160
*
- Minor refactorings and bug fixes.
Eduardo Julian
2017-12-24
7
-185
/
+224
*
- Added type-safe modular arithmetic.
Eduardo Julian
2017-12-24
4
-5
/
+324
*
- Updated .gitignore.
Eduardo Julian
2017-12-17
1
-0
/
+1
*
- Got the tests to run again.
Eduardo Julian
2017-12-17
2
-21
/
+18
*
- Added CLI machinery to compiler.
Eduardo Julian
2017-12-13
3
-39
/
+75
*
- Agent-based concurrency is just actors listening to FRP channels, so specia...
Eduardo Julian
2017-12-12
3
-179
/
+0
*
- FRP channels are no longer asynchronously-built lists, but rather mediums f...
Eduardo Julian
2017-12-12
8
-562
/
+326
*
- Some minor refactoring.
Eduardo Julian
2017-12-10
13
-195
/
+218
*
- Some minor refactoring.
Eduardo Julian
2017-12-10
5
-182
/
+138
*
- WIP: Caching.
Eduardo Julian
2017-12-05
16
-326
/
+543
*
- Fixed a bug when analysing empty records.
Eduardo Julian
2017-12-05
1
-0
/
+4
*
- Forgot to remove "~@" syntax from lux-mode.
Eduardo Julian
2017-12-05
1
-1
/
+1
*
- Brought luxc and new-luxc closer together.
Eduardo Julian
2017-12-05
10
-330
/
+259
*
- All analysis procedures have been turned into extensions.
Eduardo Julian
2017-12-05
10
-95
/
+88
*
- Added analysis, synthesis, translation and statement extensions.
Eduardo Julian
2017-12-05
14
-200
/
+401
*
- No longer using BufferedReader for console input.
Eduardo Julian
2017-12-04
1
-24
/
+51
*
- lux/world/file now works with Process, instead of Task.
Eduardo Julian
2017-12-04
2
-125
/
+133
*
- No longer deleting type-vars in luxc, to better match it with the type-chec...
Eduardo Julian
2017-12-04
11
-191
/
+131
*
- Implemented unit types on top of abstract types.
Eduardo Julian
2017-12-04
3
-44
/
+36
[next]