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