aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/spec/aedifex (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Re-named "spec" hierarchy to "specification".Eduardo Julian2021-07-151-57/+0
|
* Normalized the hierarchy of the standard library modules.Eduardo Julian2021-07-141-13/+14
|
* Better syntax for parallel-hierarchy imports.Eduardo Julian2021-07-121-6/+5
|
* "signature:" -> "interface:" & "structure:" -> "implementation:"Eduardo Julian2021-06-301-17/+22
| | | "signature" & "structure" feel like very ML-specific terminology and might not be easy on programmers unfamiliar with it.
* Refactored the machinery to make local macros into its own module.Eduardo Julian2021-06-181-2/+2
|
* Moved "lux/data/number" to "lux/math/number".Eduardo Julian2020-12-291-2/+3
|
* Replaced kebab-case with snake_case for naming convention.Eduardo Julian2020-12-251-3/+3
|
* Refactored "export" common syntax.Eduardo Julian2020-12-231-4/+4
|
* Properly naming unicode Block type.Eduardo Julian2020-12-221-4/+6
|
* Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the ↵Eduardo Julian2020-12-021-5/+5
| | | | convention that only macros that deal with types may start with a colon.
* Re-named "_.claim" to "_.cover'".Eduardo Julian2020-11-281-12/+12
|
* Improved error reporting for syntax macros.Eduardo Julian2020-11-051-0/+49