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
/
stdlib
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
- Added quotient types.
Eduardo Julian
2017-12-28
2
-1
/
+70
*
- Added module for predicates.
Eduardo Julian
2017-12-25
10
-36
/
+158
*
- 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
*
- 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
12
-195
/
+217
*
- Some minor refactoring.
Eduardo Julian
2017-12-10
5
-182
/
+138
*
- WIP: Caching.
Eduardo Julian
2017-12-05
3
-11
/
+30
*
- Brought luxc and new-luxc closer together.
Eduardo Julian
2017-12-05
8
-207
/
+136
*
- Added analysis, synthesis, translation and statement extensions.
Eduardo Julian
2017-12-05
2
-18
/
+25
*
- 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
8
-141
/
+124
*
- Implemented unit types on top of abstract types.
Eduardo Julian
2017-12-04
3
-44
/
+36
*
- Re-named "Def" to "Definition".
Eduardo Julian
2017-12-04
7
-103
/
+103
*
- Added location information to syntax errors.
Eduardo Julian
2017-12-03
1
-1
/
+4
*
- Fixed some small issues uncovered by new-luxc.
Eduardo Julian
2017-12-03
5
-13
/
+16
*
- Added some ~! to some macros to stop them from imposing dependencies.
Eduardo Julian
2017-12-02
5
-46
/
+52
*
- "gensym" went back to producing Code, instead of Ident.
Eduardo Julian
2017-12-02
19
-268
/
+258
*
- Added context-sensitive macro-expansion by means of "lux in-module", and re...
Eduardo Julian
2017-12-02
27
-348
/
+236
*
- Added new "lux in-module" procedure for changing the module while analysing...
Eduardo Julian
2017-12-02
1
-7
/
+13
*
- Changed some of the syntax for macro templating.
Eduardo Julian
2017-12-01
31
-731
/
+739
*
- Made it so that module annotations can only be set once now.
Eduardo Julian
2017-12-01
1
-2
/
+2
*
- Changed the way test durations are shown.
Eduardo Julian
2017-12-01
1
-1
/
+1
*
- Re-named lux/type/opaque to lux/type/abstract.
Eduardo Julian
2017-11-29
10
-52
/
+52
*
- Changed the identifier separator, from the semi-colon (;) to the period/dot...
Eduardo Julian
2017-11-29
180
-10027
/
+10033
*
- Re-named the "." function to "compose" and moved it to lux/function.
Eduardo Julian
2017-11-28
24
-183
/
+183
*
- Changed the syntax involved in JVM host-interop.
Eduardo Julian
2017-11-27
12
-373
/
+350
*
- Got rid of even more dots.
Eduardo Julian
2017-11-27
74
-293
/
+294
*
- Changed the prefixes of numeric functions.
Eduardo Julian
2017-11-27
116
-1774
/
+1756
*
- Changed to the new relative imports syntax.
Eduardo Julian
2017-11-26
23
-184
/
+186
*
- Added REPL.
Eduardo Julian
2017-11-23
2
-3
/
+14
*
- Added console I/O.
Eduardo Julian
2017-11-23
2
-1
/
+76
*
- Fixed some bugs.
Eduardo Julian
2017-11-22
13
-111
/
+200
*
- Fixed some bugs.
Eduardo Julian
2017-11-21
12
-419
/
+404
*
- Added parallel compilation.
Eduardo Julian
2017-11-20
16
-199
/
+246
*
- Added "Process" type for IO operations that can fail.
Eduardo Julian
2017-11-16
4
-19
/
+48
*
- Re-named "lux/meta" to to "lux/macro".
Eduardo Julian
2017-11-15
54
-336
/
+336
*
- Moved "/type/*" to from "lux/meta/" to "lux/".
Eduardo Julian
2017-11-15
23
-119
/
+119
*
- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".
Eduardo Julian
2017-11-15
16
-51
/
+48
*
- Re-named "lux/meta/type/auto" to "lux/meta/type/implicit".
Eduardo Julian
2017-11-15
4
-3
/
+3
*
- Moved "luxc/lang/syntax" to "lux/lang/syntax".
Eduardo Julian
2017-11-15
3
-0
/
+857
*
- Moved type-cleaning to lux/meta/type/check.
Eduardo Julian
2017-11-15
1
-1
/
+37
*
- Small refactoring.
Eduardo Julian
2017-11-14
2
-61
/
+61
*
- Modified the syntax for module definitions.
Eduardo Julian
2017-11-14
1
-1
/
+1
*
- Made "lux text clip" work like it used to.
Eduardo Julian
2017-11-14
3
-44
/
+39
*
- Fixed some bugs.
Eduardo Julian
2017-11-14
1
-15
/
+42
*
- Removed "lux text last-index" procedure.
Eduardo Julian
2017-11-14
8
-134
/
+134
*
- Yet more refactoring.
Eduardo Julian
2017-11-14
2
-166
/
+118
[prev]
[next]