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-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
2017-11-27
- Changed the syntax involved in JVM host-interop.
Eduardo Julian
1
-9
/
+3
2017-11-27
- Got rid of even more dots.
Eduardo Julian
1
-8
/
+8
2017-11-27
- Changed the prefixes of numeric functions.
Eduardo Julian
1
-98
/
+98
2017-11-26
- Changed to the new relative imports syntax.
Eduardo Julian
1
-102
/
+104
2017-11-21
- Fixed some bugs.
Eduardo Julian
1
-304
/
+305
2017-11-14
- Modified the syntax for module definitions.
Eduardo Julian
1
-1
/
+1
2017-11-14
- Made "lux text clip" work like it used to.
Eduardo Julian
1
-8
/
+2
2017-11-14
- Fixed some bugs.
Eduardo Julian
1
-15
/
+42
2017-11-14
- Removed "lux text last-index" procedure.
Eduardo Julian
1
-40
/
+54
2017-11-13
- Type-vars no longer get deleted.
Eduardo Julian
1
-32
/
+31
2017-11-12
- Fixed some bugs.
Eduardo Julian
1
-279
/
+280
2017-11-06
- Changed how Lux procedures work on the old compiler and the stdlib.
Eduardo Julian
1
-86
/
+86
2017-10-31
- "^code" can now be used as a normal macro, when pattern-matching using the ...
Eduardo Julian
1
-1
/
+6
2017-10-31
- Now, all special forms are handled as procedures.
Eduardo Julian
1
-1143
/
+1143
2017-10-30
- Added "^code" pattern-matching macro for easier handling of code.
Eduardo Julian
1
-0
/
+76
2017-10-30
- Added "lux check type" to old compiler.
Eduardo Julian
1
-9
/
+9
2017-10-26
- Added a new piece of compiler state, just for storing the current-module.
Eduardo Julian
1
-36
/
+40
2017-10-26
- "primitive" macro can now handle primitives as text.
Eduardo Julian
1
-0
/
+6
2017-10-26
- WIP: Wiring everything to get the compiler to work fully.
Eduardo Julian
1
-2
/
+2
[next]