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
/
library
/
lux
/
type
/
unit.lux
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2021-07-30
More renamings.
Eduardo Julian
1
-2
/
+2
2021-07-27
Re-named wrap => in && unwrap => out.
Eduardo Julian
1
-29
/
+29
2021-07-14
Normalized the hierarchy of the standard library modules.
Eduardo Julian
1
-26
/
+26
2021-06-30
"signature:" -> "interface:" & "structure:" -> "implementation:"
Eduardo Julian
1
-7
/
+7
2021-06-11
Added import name formatting to "import:" macros for other backends.
Eduardo Julian
1
-91
/
+91
2021-02-07
Mo' updates, less problems.
Eduardo Julian
1
-3
/
+10
2021-01-08
Moved "log!" function under "lux/debug".
Eduardo Julian
1
-6
/
+6
2021-01-05
Added lexically-scoped templates.
Eduardo Julian
1
-5
/
+2
2020-12-29
Unified repository abstraction for Aedifex.
Eduardo Julian
1
-5
/
+6
2020-12-29
Moved "lux/data/number" to "lux/math/number".
Eduardo Julian
1
-3
/
+4
2020-12-25
Replaced kebab-case with snake_case for naming convention.
Eduardo Julian
1
-17
/
+17
2020-12-23
Refactored "export" common syntax.
Eduardo Julian
1
-7
/
+8
2020-12-02
Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the con...
Eduardo Julian
1
-2
/
+2
2020-09-16
Changed the format of project descriptor files.
Eduardo Julian
1
-1
/
+1
2020-08-09
"abstract:" macro now takes annotations after representation type.
Eduardo Julian
1
-1
/
+0
2019-07-25
No more "i/"-prefixed functions.
Eduardo Julian
1
-15
/
+16
2019-07-24
Got rid of the "Number" abstraction.
Eduardo Julian
1
-5
/
+4
2019-06-20
Improved the convention for using text formatters.
Eduardo Julian
1
-3
/
+3
2019-04-19
Moved the code/syntax parser under "lux/control/parser/".
Eduardo Julian
1
-4
/
+4
2019-04-17
Simplified the "Order" signature.
Eduardo Julian
1
-15
/
+9
2019-04-06
Created the "lux/abstract" branch and moved some modules into it.
Eduardo Julian
1
-2
/
+3
2019-03-30
Re-named "do-template" to "template".
Eduardo Julian
1
-3
/
+3
2019-03-23
Ported tests for time-related modules.
Eduardo Julian
1
-1
/
+3
2019-03-13
Replaced the digit separator in numbers from "_" to ",".
Eduardo Julian
1
-6
/
+6
2019-03-06
Removed the "translation/common" hierarchy.
Eduardo Julian
1
-2
/
+1
2019-02-04
Changed the naming style for structures.
Eduardo Julian
1
-7
/
+7
2019-01-02
Some minor refactoring.
Eduardo Julian
1
-0
/
+1
2018-12-15
No longer relying on "signature:"'s and "structure:"'s internal macro-expansi...
Eduardo Julian
1
-11
/
+11
2018-07-28
Added "+" sign to positive Int.
Eduardo Julian
1
-8
/
+8
2018-07-21
Re-named "name-for" to "name-of".
Eduardo Julian
1
-1
/
+1
2018-07-21
Re-named "Symbol" to "Identifier".
Eduardo Julian
1
-7
/
+7
2018-07-21
Re-named "Ident" to "Name".
Eduardo Julian
1
-1
/
+1
2018-07-20
No longer giving default aliases to un-prefixed imports.
Eduardo Julian
1
-1
/
+1
2018-07-11
- Improvements to import syntax [part 2].
Eduardo Julian
1
-15
/
+22
2018-07-10
- Improvements to import syntax [part 0].
Eduardo Julian
1
-5
/
+5
2018-07-10
- Re-named "struct:" to "structure:".
Eduardo Julian
1
-4
/
+4
2018-07-10
- Re-named "sig:" to "signature:".
Eduardo Julian
1
-1
/
+1
2018-07-09
- Fixes: Part 2.
Eduardo Julian
1
-1
/
+1
2018-07-05
- Re-named "equality" to "equivalence".
Eduardo Julian
1
-3
/
+3
2018-07-03
- Re-named "@abstraction" to ":abstraction" and "@representation" to ":repres...
Eduardo Julian
1
-2
/
+2
2018-07-03
- Re-named ":!!" to ":assume".
Eduardo Julian
1
-1
/
+1
2018-05-13
- Re-named ".../eq" modules to ".../equality".
Eduardo Julian
1
-1
/
+1
2018-05-13
- Added new #I64 type as foundation for types based on 64-bit integers.
Eduardo Julian
1
-9
/
+9
2018-05-02
- Changed the syntax for the parameters of "syntax:".
Eduardo Julian
1
-7
/
+9
2018-04-05
- Improved the syntax for the "lux.function" macro.
Eduardo Julian
1
-2
/
+2
2017-12-10
- Some minor refactoring.
Eduardo Julian
1
-2
/
+2
2017-12-04
- Implemented unit types on top of abstract types.
Eduardo Julian
1
-34
/
+27
2017-12-01
- Changed some of the syntax for macro templating.
Eduardo Julian
1
-4
/
+4
2017-11-29
- Changed the identifier separator, from the semi-colon (;) to the period/dot...
Eduardo Julian
1
-38
/
+38
2017-11-27
- Changed the syntax involved in JVM host-interop.
Eduardo Julian
1
-2
/
+2
[prev]
[next]