aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/type/poly/equivalence.lux (follow)
Commit message (Expand)AuthorAgeFilesLines
* Re-named the "poly" hierarchy to "polytypic".Eduardo Julian2022-06-121-89/+0
* De-sigil-ification: #Eduardo Julian2022-06-041-2/+2
* Extensible import syntax [Part 2]Eduardo Julian2022-06-021-1/+1
* Extensible import syntax: Part 1Eduardo Julian2022-06-011-4/+4
* Better names for testing macros (plus better indentation).Eduardo Julian2022-04-091-1/+1
* De-sigil-ification: $Eduardo Julian2022-04-081-16/+16
* Re-named "as_is" to "these" to avoid confusion with the new type-annotation m...Eduardo Julian2022-03-301-2/+2
* Leaner syntax for the "for" macro.Eduardo Julian2022-03-141-25/+25
* "module:" => "using"Eduardo Julian2021-09-151-1/+1
* Updated only/except import syntax to take into account record => variant synt...Eduardo Julian2021-09-131-5/+5
* Re-named \ => # && \\ => ##Eduardo Julian2021-09-121-2/+2
* Migrated variants to the new syntax.Eduardo Julian2021-09-101-5/+5
* De-bracing | part 2Eduardo Julian2021-09-081-2/+2
* Now using eval to derive code for arbitrary types.Eduardo Julian2021-09-081-6/+8
* De-taggification | part 4Eduardo Julian2021-09-071-7/+7
* Changed the syntax of do/be's (co)monad bindings.Eduardo Julian2021-09-051-1/+1
* De-taggification | part 2Eduardo Julian2021-09-041-6/+6
* Unified tuple and record syntax.Eduardo Julian2021-09-031-2/+2
* "Interface" instead of "interface:", and "Rec" can be used in type definition.Eduardo Julian2021-08-261-5/+6
* Outsourced the syntax for labelled type definitions to macros.Eduardo Julian2021-08-241-17/+20
* Made extension-definition macros specify their bindings the same way as syntax:.Eduardo Julian2021-08-161-0/+83
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 01:14:30 +0000