aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/meta/poly/eq.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2017-11-15- Re-named "lux/meta" to to "lux/macro".Eduardo Julian1-147/+0
2017-11-15- Moved "/type/*" to from "lux/meta/" to "lux/".Eduardo Julian1-2/+2
2017-11-15- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".Eduardo Julian1-1/+1
2017-10-20- Re-named "Host" to "Primitive".Eduardo Julian1-1/+1
2017-10-19- Implemented an more comfortable alternative to "with-expansions".Eduardo Julian1-116/+112
2017-10-16- Re-named "Lux" type to "Meta".Eduardo Julian1-7/+7
2017-10-16- Re-named "Vector" to "Sequence" to avoid confusion with mathematical vectors.Eduardo Julian1-8/+8
2017-10-16- Removed the useless Seq type.Eduardo Julian1-2/+0
2017-10-16- Moved Array type to lux.lux.Eduardo Julian1-12/+12
2017-09-19- Changed the terminology of monoids ("append" -> "compose", "unit" -> "ident...Eduardo Julian1-2/+2
2017-09-04- Simple types are no longer matched by their names, but by the types themsel...Eduardo Julian1-4/+4
2017-09-04- Re-named "real" numbers to "frac"(tions).Eduardo Julian1-1/+1
2017-08-10- Small refactorings and fixes.Eduardo Julian1-4/+9
2017-08-06- Added poly/eq support for time types and unit types.Eduardo Julian1-34/+49
2017-08-02- Re-implemented polytypic matchers in terms of lux/control/parser.Eduardo Julian1-85/+85
2017-08-01- Removed polytipic text-encoders.Eduardo Julian1-75/+43
2017-07-22- Removed the "M" suffix from monadic functions.Eduardo Julian1-26/+26
2017-07-15- Can now generate Eq instances for #rec-style recursive types.Eduardo Julian1-1/+26
2017-07-02- Lux no longer has a Char primitive data-type.Eduardo Julian1-2/+0
2017-05-07- Added custom equalities for a variety of collections.Eduardo Julian1-3/+31
2017-05-07- Renamed "AST" to "Code".Eduardo Julian1-5/+5
2017-05-07- Changed the name of "let%" to "with-expansions".Eduardo Julian1-13/+14
2017-04-12- Simplified some of the documentation and error messages.Eduardo Julian1-1/+1
2017-04-11- Fused the lux/compiler and lux/macro modules.Eduardo Julian1-5/+5
2017-04-10- Renamed "lambda" to "function".Eduardo Julian1-8/+8
2017-01-26- Changed the license from MPL 2.0 to MIT.Eduardo Julian1-5/+0
2017-01-25- Moved the lux/data/struct/* modules to lux/data/coll/*.Eduardo Julian1-2/+2
2017-01-25- Renamed lux/data/struct/tree to lux/data/struct/tree/rose.Eduardo Julian1-1/+1
2016-12-17- Added tests for lux/macro/poly/*Eduardo Julian1-12/+12
2016-12-17- Some small refactorings.Eduardo Julian1-26/+41
2016-12-04- Minor refactorings and expansions.Eduardo Julian1-2/+2
2016-12-01- Collected the Lux compiler's repo, the Standard Library's, the Leiningen pl...Eduardo Julian1-0/+103
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-08 18:27:58 +0000