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
/
source
/
lux
/
type
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
- Improved debugging machinery.
Eduardo Julian
2019-04-21
1
-5
/
+12
*
Moved the code/syntax parser under "lux/control/parser/".
Eduardo Julian
2019-04-19
4
-17
/
+19
*
- Improved error messaging when trying to access an unbound type-parameter du...
Eduardo Julian
2019-04-17
1
-17
/
+4
*
Simplified the "Order" signature.
Eduardo Julian
2019-04-17
1
-15
/
+9
*
Made some fixes the the type-checker, to properly handle the situation of typ...
Eduardo Julian
2019-04-16
1
-77
/
+121
*
More improvements to error messages.
Eduardo Julian
2019-04-15
1
-41
/
+29
*
Moved "lux/cli", "lux/io" and "lux/function" under "lux/control".
Eduardo Julian
2019-04-06
1
-2
/
+2
*
Created the "lux/abstract" branch and moved some modules into it.
Eduardo Julian
2019-04-06
6
-10
/
+15
*
Changed the order of the inputs to the common extensions.
Eduardo Julian
2019-04-04
1
-25
/
+25
*
Re-named "do-template" to "template".
Eduardo Julian
2019-03-30
6
-13
/
+13
*
Ported tests for type-related modules.
Eduardo Julian
2019-03-24
2
-32
/
+32
*
Ported tests for time-related modules.
Eduardo Julian
2019-03-23
1
-1
/
+3
*
Changed the convention for the structure opening separator from "/" to ";", t...
Eduardo Julian
2019-03-15
5
-64
/
+64
*
Replaced the digit separator in numbers from "_" to ",".
Eduardo Julian
2019-03-13
1
-6
/
+6
*
Re-defined the "type" macros in terms of ":by-example".
Eduardo Julian
2019-03-12
2
-56
/
+15
*
Removed the "translation/common" hierarchy.
Eduardo Julian
2019-03-06
2
-4
/
+2
*
Added the special # syntax for referring to the module's alias when opening s...
Eduardo Julian
2019-02-11
5
-14
/
+14
*
Changed the naming style for structures.
Eduardo Julian
2019-02-04
8
-119
/
+119
*
Some documentation for dynamic typing.
Eduardo Julian
2019-01-24
1
-1
/
+5
*
Added dynamic typing.
Eduardo Julian
2019-01-24
1
-0
/
+39
*
- WIP: Expansion of CSS machinery.
Eduardo Julian
2019-01-22
2
-21
/
+20
*
Added a module for type-parameter variance.
Eduardo Julian
2019-01-21
1
-0
/
+11
*
Can now define nested abstract types.
Eduardo Julian
2019-01-06
1
-136
/
+164
*
Some minor refactoring.
Eduardo Julian
2019-01-02
1
-0
/
+1
*
Added contravariant functors.
Eduardo Julian
2018-12-25
1
-0
/
+2
*
No longer relying on "signature:"'s and "structure:"'s internal macro-expansi...
Eduardo Julian
2018-12-15
1
-11
/
+11
*
Re-named the "Error" tag to "Failure".
Eduardo Julian
2018-12-15
3
-35
/
+35
*
Some small improvements.
Eduardo Julian
2018-12-05
1
-8
/
+15
*
- Some refactoring.
Eduardo Julian
2018-10-13
1
-78
/
+67
*
More micro-optimizations.
Eduardo Julian
2018-08-29
1
-58
/
+48
*
Micro-optimizations.
Eduardo Julian
2018-08-28
1
-19
/
+32
*
No more escaping of new-line.
Eduardo Julian
2018-08-23
1
-2
/
+4
*
Replace the error-prone "n/range" calls with "indices".
Eduardo Julian
2018-08-02
1
-3
/
+3
*
Removed temporary "|" prefix on Nat.
Eduardo Julian
2018-07-28
3
-9
/
+9
*
Added "+" sign to positive Int.
Eduardo Julian
2018-07-28
1
-8
/
+8
*
Temporary commit to get rid of "+" signs for Nat.
Eduardo Julian
2018-07-28
3
-9
/
+9
*
Re-named "seq" to "and" and "alt" to "or".
Eduardo Julian
2018-07-21
4
-6
/
+6
*
Re-named "name-for" to "name-of".
Eduardo Julian
2018-07-21
2
-2
/
+2
*
Re-named "Symbol" to "Identifier".
Eduardo Julian
2018-07-21
5
-31
/
+31
*
Added macros for specifying implicits either at the module level, or at the l...
Eduardo Julian
2018-07-21
1
-19
/
+45
*
Got rid of Object-Oriented Programming modules.
Eduardo Julian
2018-07-21
2
-673
/
+0
*
Re-named "Ident" to "Name".
Eduardo Julian
2018-07-21
5
-41
/
+42
*
Moved "lux/language/type/*" to "lux/type/*".
Eduardo Julian
2018-07-21
6
-14
/
+690
*
"^open" and "open:" now use aliases instead of prefixes, the same way as modu...
Eduardo Julian
2018-07-20
6
-15
/
+15
*
No longer giving default aliases to un-prefixed imports.
Eduardo Julian
2018-07-20
8
-87
/
+100
*
- New syntax for bit values: "#0" and "#1", instead of "false" and "true".
Eduardo Julian
2018-07-14
2
-3
/
+3
*
Re-named "Bool" type to "Bit".
Eduardo Julian
2018-07-13
3
-10
/
+9
*
- Re-named "lux/macro/poly.this" to "exactly" and "lux/macro/poly.like" to "s...
Eduardo Julian
2018-07-11
2
-2
/
+2
*
- Re-naming some functions in "lux/language/type/check".
Eduardo Julian
2018-07-11
1
-2
/
+2
*
- Improvements to import syntax [part 2].
Eduardo Julian
2018-07-11
8
-112
/
+139
[next]