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
/
math
/
number
/
ratio.lux
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2021-07-14
Normalized the hierarchy of the standard library modules.
Eduardo Julian
1
-161
/
+0
2021-06-30
"signature:" -> "interface:" & "structure:" -> "implementation:"
Eduardo Julian
1
-4
/
+4
2020-12-29
Moved "lux/data/number" to "lux/math/number".
Eduardo Julian
1
-5
/
+4
2020-12-25
Replaced kebab-case with snake_case for naming convention.
Eduardo Julian
1
-1
/
+1
2020-12-10
Re-named "with-cover" to "for".
Eduardo Julian
1
-32
/
+61
2020-11-28
Re-named "_.claim" to "_.cover'".
Eduardo Julian
1
-6
/
+6
2020-09-16
Changed the format of project descriptor files.
Eduardo Julian
1
-1
/
+1
2019-07-26
No more "n/"-prefixed functions.
Eduardo Julian
1
-20
/
+20
2019-07-24
Got rid of the "Number" abstraction.
Eduardo Julian
1
-41
/
+35
2019-07-02
Re-name "lux/data/error" to "lux/control/try".
Eduardo Julian
1
-2
/
+2
2019-04-19
Moved the code/syntax parser under "lux/control/parser/".
Eduardo Julian
1
-2
/
+3
2019-04-17
Simplified the "Order" signature.
Eduardo Julian
1
-26
/
+8
2019-04-06
Moved "lux/cli", "lux/io" and "lux/function" under "lux/control".
Eduardo Julian
1
-1
/
+1
2019-04-06
Created the "lux/abstract" branch and moved some modules into it.
Eduardo Julian
1
-4
/
+5
2019-03-30
Re-named "do-template" to "template".
Eduardo Julian
1
-3
/
+3
2019-03-29
Fixed more tests.
Eduardo Julian
1
-57
/
+62
2019-03-22
Ported tests for number-related modules.
Eduardo Julian
1
-76
/
+66
2019-03-15
Changed the convention for the structure opening separator from "/" to ";", t...
Eduardo Julian
1
-7
/
+7
2019-02-11
Added the special # syntax for referring to the module's alias when opening s...
Eduardo Julian
1
-2
/
+2
2019-02-04
Changed the naming style for structures.
Eduardo Julian
1
-10
/
+11
2019-02-03
Some refactoring around the identity function.
Eduardo Julian
1
-3
/
+4
2018-07-28
Removed temporary "|" prefix on Nat.
Eduardo Julian
1
-10
/
+6
2018-07-28
Temporary commit to get rid of "+" signs for Nat.
Eduardo Julian
1
-4
/
+4
2018-07-20
"^open" and "open:" now use aliases instead of prefixes, the same way as modu...
Eduardo Julian
1
-2
/
+2
2018-07-20
No longer giving default aliases to un-prefixed imports.
Eduardo Julian
1
-9
/
+9
2018-07-13
Re-named "Bool" type to "Bit".
Eduardo Julian
1
-2
/
+2
2018-07-11
- Improvements to import syntax [part 2].
Eduardo Julian
1
-17
/
+19
2018-07-11
- Improvements to import syntax [part 1].
Eduardo Julian
1
-2
/
+2
2018-07-10
- Improvements to import syntax [part 0].
Eduardo Julian
1
-2
/
+2
2018-07-10
- Re-named "struct:" to "structure:".
Eduardo Julian
1
-4
/
+4
2018-07-05
- Re-named "equality" to "equivalence".
Eduardo Julian
1
-3
/
+3
2018-07-04
- Re-named "degree" to "revolution".
Eduardo Julian
1
-24
/
+24
2018-05-13
- Re-named ".../eq" modules to ".../equality".
Eduardo Julian
1
-1
/
+1
2018-05-02
- Changed the syntax for the parameters of "syntax:".
Eduardo Julian
1
-1
/
+1
2017-12-24
- Minor refactorings and bug fixes.
Eduardo Julian
1
-7
/
+7
2017-12-02
- Added context-sensitive macro-expansion by means of "lux in-module", and re...
Eduardo Julian
1
-4
/
+4
2017-11-29
- Changed the identifier separator, from the semi-colon (;) to the period/dot...
Eduardo Julian
1
-14
/
+14
2017-11-27
- Got rid of even more dots.
Eduardo Julian
1
-25
/
+25
2017-11-27
- Changed the prefixes of numeric functions.
Eduardo Julian
1
-24
/
+24
2017-11-15
- Re-named "lux/meta" to to "lux/macro".
Eduardo Julian
1
-3
/
+3
2017-10-16
- Re-named "Lux" type to "Meta".
Eduardo Julian
1
-4
/
+4
2017-10-16
- Re-named "Result" type back to "Error".
Eduardo Julian
1
-3
/
+3
2017-10-16
- Re-named lux/control/parser;opt to lux/control/parser;maybe.
Eduardo Julian
1
-1
/
+1
2017-09-19
- Changed the terminology of monoids ("append" -> "compose", "unit" -> "ident...
Eduardo Julian
1
-2
/
+2
2017-09-19
- Some refactoring.
Eduardo Julian
1
-3
/
+4
2017-07-15
- Can now generate Eq instances for #rec-style recursive types.
Eduardo Julian
1
-1
/
+1
2017-06-21
- CLI, Syntax and Lexer are now based upon a common Parser type.
Eduardo Julian
1
-2
/
+3
2017-05-17
- Renamed "Error" to "Result".
Eduardo Julian
1
-3
/
+3
2017-05-07
- Renamed "AST" to "Code".
Eduardo Julian
1
-1
/
+1
2017-04-11
- Fused the lux/compiler and lux/macro modules.
Eduardo Julian
1
-1
/
+1
[next]