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