aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/type/quotient.lux (follow)
Commit message (Expand)AuthorAgeFilesLines
* Normalized the hierarchy of the standard library modules.Eduardo Julian2021-07-141-55/+0
* "signature:" -> "interface:" & "structure:" -> "implementation:"Eduardo Julian2021-06-301-1/+1
* Got rid of the {}s in ":share" and made it pipe-able.Eduardo Julian2021-05-181-2/+4
* Improved compilation of loops and pattern-matching for Python. Eduardo Julian2021-02-011-14/+26
* "abstract:" macro now takes annotations after representation type.Eduardo Julian2020-08-091-4/+0
* Re-named "do-template" to "template".Eduardo Julian2019-03-301-1/+1
* Re-defined the "type" macros in terms of ":by-example".Eduardo Julian2019-03-121-28/+7
* Changed the naming style for structures.Eduardo Julian2019-02-041-1/+1
* - WIP: Expansion of CSS machinery.Eduardo Julian2019-01-221-21/+17
* Re-named the "Error" tag to "Failure".Eduardo Julian2018-12-151-3/+3
* Re-named "seq" to "and" and "alt" to "or".Eduardo Julian2018-07-211-1/+1
* Re-named "Symbol" to "Identifier".Eduardo Julian2018-07-211-1/+1
* Moved "lux/language/type/*" to "lux/type/*".Eduardo Julian2018-07-211-3/+1
* No longer giving default aliases to un-prefixed imports.Eduardo Julian2018-07-201-4/+7
* - Re-named "lux/macro/poly.this" to "exactly" and "lux/macro/poly.like" to "s...Eduardo Julian2018-07-111-1/+1
* - Improvements to import syntax [part 2].Eduardo Julian2018-07-111-9/+10
* - Improvements to import syntax [part 0].Eduardo Julian2018-07-101-4/+4
* - Re-named path "lux/lang/*" to "lux/language/*".Eduardo Julian2018-07-101-1/+1
* - Fixes: Part 2.Eduardo Julian2018-07-091-1/+1
* - Re-named "@abstraction" to ":abstraction" and "@representation" to ":repres...Eduardo Julian2018-07-031-4/+4
* - Changed the syntax for the parameters of "syntax:".Eduardo Julian2018-05-021-1/+1
* - Added quotient types.Eduardo Julian2017-12-281-0/+68
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-12 18:14:47 +0000