aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/spec/aedifex (unfollow)
Commit message (Collapse)AuthorFilesLines
2021-07-15Re-named "spec" hierarchy to "specification".Eduardo Julian1-57/+0
2021-07-14Normalized the hierarchy of the standard library modules.Eduardo Julian1-13/+14
2021-07-12Better syntax for parallel-hierarchy imports.Eduardo Julian1-6/+5
2021-06-30"signature:" -> "interface:" & "structure:" -> "implementation:"Eduardo Julian1-17/+22
"signature" & "structure" feel like very ML-specific terminology and might not be easy on programmers unfamiliar with it.
2021-06-18Refactored the machinery to make local macros into its own module.Eduardo Julian1-2/+2
2020-12-29Moved "lux/data/number" to "lux/math/number".Eduardo Julian1-2/+3
2020-12-25Replaced kebab-case with snake_case for naming convention.Eduardo Julian1-3/+3
2020-12-23Refactored "export" common syntax.Eduardo Julian1-4/+4
2020-12-22Properly naming unicode Block type.Eduardo Julian1-4/+6
2020-12-02Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the ↵Eduardo Julian1-5/+5
convention that only macros that deal with types may start with a colon.
2020-11-28Re-named "_.claim" to "_.cover'".Eduardo Julian1-12/+12
2020-11-05Improved error reporting for syntax macros.Eduardo Julian1-0/+49