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