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
/
quotient.lux
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
Normalized the hierarchy of the standard library modules.
Eduardo Julian
2021-07-14
1
-55
/
+0
*
"signature:" -> "interface:" & "structure:" -> "implementation:"
Eduardo Julian
2021-06-30
1
-1
/
+1
*
Got rid of the {}s in ":share" and made it pipe-able.
Eduardo Julian
2021-05-18
1
-2
/
+4
*
Improved compilation of loops and pattern-matching for Python.
Eduardo Julian
2021-02-01
1
-14
/
+26
*
"abstract:" macro now takes annotations after representation type.
Eduardo Julian
2020-08-09
1
-4
/
+0
*
Re-named "do-template" to "template".
Eduardo Julian
2019-03-30
1
-1
/
+1
*
Re-defined the "type" macros in terms of ":by-example".
Eduardo Julian
2019-03-12
1
-28
/
+7
*
Changed the naming style for structures.
Eduardo Julian
2019-02-04
1
-1
/
+1
*
- WIP: Expansion of CSS machinery.
Eduardo Julian
2019-01-22
1
-21
/
+17
*
Re-named the "Error" tag to "Failure".
Eduardo Julian
2018-12-15
1
-3
/
+3
*
Re-named "seq" to "and" and "alt" to "or".
Eduardo Julian
2018-07-21
1
-1
/
+1
*
Re-named "Symbol" to "Identifier".
Eduardo Julian
2018-07-21
1
-1
/
+1
*
Moved "lux/language/type/*" to "lux/type/*".
Eduardo Julian
2018-07-21
1
-3
/
+1
*
No longer giving default aliases to un-prefixed imports.
Eduardo Julian
2018-07-20
1
-4
/
+7
*
- Re-named "lux/macro/poly.this" to "exactly" and "lux/macro/poly.like" to "s...
Eduardo Julian
2018-07-11
1
-1
/
+1
*
- Improvements to import syntax [part 2].
Eduardo Julian
2018-07-11
1
-9
/
+10
*
- Improvements to import syntax [part 0].
Eduardo Julian
2018-07-10
1
-4
/
+4
*
- Re-named path "lux/lang/*" to "lux/language/*".
Eduardo Julian
2018-07-10
1
-1
/
+1
*
- Fixes: Part 2.
Eduardo Julian
2018-07-09
1
-1
/
+1
*
- Re-named "@abstraction" to ":abstraction" and "@representation" to ":repres...
Eduardo Julian
2018-07-03
1
-4
/
+4
*
- Changed the syntax for the parameters of "syntax:".
Eduardo Julian
2018-05-02
1
-1
/
+1
*
- Added quotient types.
Eduardo Julian
2017-12-28
1
-0
/
+68