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.lux
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
- Improvements to import syntax [part 1].
Eduardo Julian
2018-07-11
1
-35
/
+30
*
- Improvements to import syntax [part 0].
Eduardo Julian
2018-07-10
1
-28
/
+8
*
- Re-named path "lux/data/coll/*" to "lux/data/collection/*".
Eduardo Julian
2018-07-10
1
-2
/
+2
*
- Ported caching machinery for default compiler.
Eduardo Julian
2018-07-10
1
-2
/
+2
*
- Re-named "struct" to "structure".
Eduardo Julian
2018-07-10
1
-2
/
+2
*
- Re-named "struct:" to "structure:".
Eduardo Julian
2018-07-10
1
-4
/
+4
*
- Re-named "sig:" to "signature:".
Eduardo Julian
2018-07-10
1
-4
/
+4
*
- Fixes: Part 1.
Eduardo Julian
2018-07-09
1
-1
/
+1
*
- Improved syntax for functions.
Eduardo Julian
2018-07-07
1
-56
/
+52
*
- Improved syntax for pattern-matching.
Eduardo Julian
2018-07-07
1
-422
/
+408
*
- Re-named "equality" to "equivalence".
Eduardo Julian
2018-07-05
1
-11
/
+11
*
- Removed "alias:" due to the potential for introducing confusion due to havi...
Eduardo Julian
2018-07-04
1
-12
/
+0
*
- Re-named "degree" to "revolution".
Eduardo Julian
2018-07-04
1
-71
/
+71
*
- Re-named Bound to Paremeter.
Eduardo Julian
2018-07-04
1
-50
/
+50
*
- Implemented ":cast" macro, and used it to implement both ":abstraction" and...
Eduardo Julian
2018-07-04
1
-0
/
+9
*
- Re-named ":!" to ":coerce".
Eduardo Julian
2018-07-03
1
-5
/
+5
*
- Re-named ":!!" to ":assume".
Eduardo Julian
2018-07-03
1
-3
/
+3
*
- WIP: Migrated synthesis to stdlib.
Eduardo Julian
2018-05-26
1
-25
/
+44
*
- Minor improvements.
Eduardo Julian
2018-05-23
1
-27
/
+9
*
- Minor improvements.
Eduardo Julian
2018-05-23
1
-2
/
+13
*
- Re-named "Top" to "Any", and "Bottom" to "Nothing".
Eduardo Julian
2018-05-20
1
-46
/
+46
*
- Added new #I64 type as foundation for types based on 64-bit integers.
Eduardo Julian
2018-05-13
1
-183
/
+145
*
- Implemented Deg(ree) reciprocal & conversions Deg<->Frac.
Eduardo Julian
2018-05-12
1
-18
/
+70
*
- Re-named "Compiler" type to "Lux".
Eduardo Julian
2018-05-10
1
-12
/
+12
*
- Implemented Deg functionality in pure Lux.
Eduardo Julian
2018-05-07
1
-28
/
+132
*
- Implemented Nat functionality in pure Lux.
Eduardo Julian
2018-05-06
1
-24
/
+165
*
- Removed Void and Unit as kinds of types.
Eduardo Julian
2018-05-05
1
-163
/
+120
*
Allow giving names to loops that can be used instead of "recur".
Eduardo Julian
2018-05-01
1
-29
/
+46
*
- Improved the syntax for the "lux.function" macro.
Eduardo Julian
2018-04-05
1
-100
/
+104
*
- Re-named "is" to "is?".
Eduardo Julian
2018-04-05
1
-3
/
+3
*
- Small additions.
Eduardo Julian
2018-02-07
1
-4
/
+16
*
- Small refactorings.
Eduardo Julian
2018-01-03
1
-0
/
+13
*
- Added bit-sets.
Eduardo Julian
2017-12-31
1
-0
/
+13
*
- Added module for predicates.
Eduardo Julian
2017-12-25
1
-0
/
+3
*
- Brought luxc and new-luxc closer together.
Eduardo Julian
2017-12-05
1
-8
/
+8
*
- Added analysis, synthesis, translation and statement extensions.
Eduardo Julian
2017-12-05
1
-17
/
+21
*
- Re-named "Def" to "Definition".
Eduardo Julian
2017-12-04
1
-37
/
+37
*
- Fixed some small issues uncovered by new-luxc.
Eduardo Julian
2017-12-03
1
-7
/
+7
*
- Added some ~! to some macros to stop them from imposing dependencies.
Eduardo Julian
2017-12-02
1
-0
/
+6
*
- "gensym" went back to producing Code, instead of Ident.
Eduardo Julian
2017-12-02
1
-63
/
+59
*
- Added context-sensitive macro-expansion by means of "lux in-module", and re...
Eduardo Julian
2017-12-02
1
-132
/
+68
*
- 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
1
-288
/
+297
*
- Made it so that module annotations can only be set once now.
Eduardo Julian
2017-12-01
1
-2
/
+2
*
- Changed the identifier separator, from the semi-colon (;) to the period/dot...
Eduardo Julian
2017-11-29
1
-2124
/
+2132
*
- Re-named the "." function to "compose" and moved it to lux/function.
Eduardo Julian
2017-11-28
1
-8
/
+8
*
- Changed the syntax involved in JVM host-interop.
Eduardo Julian
2017-11-27
1
-9
/
+3
*
- Got rid of even more dots.
Eduardo Julian
2017-11-27
1
-8
/
+8
*
- Changed the prefixes of numeric functions.
Eduardo Julian
2017-11-27
1
-98
/
+98
*
- Changed to the new relative imports syntax.
Eduardo Julian
2017-11-26
1
-102
/
+104
[next]