aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/data/collection/set.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2021-01-12Compiler now shows suggestions when encountering unknown definitions.Eduardo Julian1-8/+9
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-8/+8
2020-12-02Replaced "contains?" function with "key?" function.Eduardo Julian1-2/+2
2020-12-02Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the con...Eduardo Julian1-1/+1
2020-11-28Re-named "_.claim" to "_.cover'".Eduardo Julian1-4/+4
2020-11-27Re-named lux/data/format/context to lux/control/parser/environment.Eduardo Julian1-2/+4
2020-11-05Lightweight machinery for agent-oriented programming.Eduardo Julian1-0/+4
2020-10-25Some small refactoring.Eduardo Julian1-3/+2
2020-06-29Added the missing cache invalidation to the new compiler.Eduardo Julian1-2/+6
2019-07-26No more "n/"-prefixed functions.Eduardo Julian1-2/+4
2019-04-06Created the "lux/abstract" branch and moved some modules into it.Eduardo Julian1-1/+1
2019-03-24Ported tests for collection-related modules.Eduardo Julian1-62/+63
2019-03-15Changed the convention for the structure opening separator from "/" to ";", t...Eduardo Julian1-4/+4
2019-02-11Added the special # syntax for referring to the module's alias when opening s...Eduardo Julian1-1/+1
2019-02-04Changed the naming style for structures.Eduardo Julian1-10/+10
2018-07-28Removed temporary "|" prefix on Nat.Eduardo Julian1-2/+2
2018-07-28Temporary commit to get rid of "+" signs for Nat.Eduardo Julian1-2/+2
2018-07-20"^open" and "open:" now use aliases instead of prefixes, the same way as modu...Eduardo Julian1-1/+1
2018-07-20No longer giving default aliases to un-prefixed imports.Eduardo Julian1-3/+4
2018-07-18WIP: Fix new-luxc's JVM back-end.Eduardo Julian1-1/+6
2018-07-13Re-named "Bool" type to "Bit".Eduardo Julian1-4/+4
2018-07-11- Improvements to import syntax [part 2].Eduardo Julian1-6/+9
2018-07-11- Improvements to import syntax [part 1].Eduardo Julian1-1/+1
2018-07-10- Improvements to import syntax [part 0].Eduardo Julian1-3/+3
2018-07-10- Re-named path "lux/data/coll/*" to "lux/data/collection/*".Eduardo Julian1-2/+2
2018-07-10- Re-organized dictionary & set modules a bit.Eduardo Julian1-1/+1
2018-07-10- Re-named "Dict" type to "Dictionary".Eduardo Julian1-2/+2
2018-07-10- Re-implemented sets using abstract types to make it impossible to use dicti...Eduardo Julian1-61/+66
2018-07-10- Re-named "struct:" to "structure:".Eduardo Julian1-2/+2
2018-07-05- Re-named "equality" to "equivalence".Eduardo Julian1-4/+4
2018-05-13- Re-named ".../eq" modules to ".../equality".Eduardo Julian1-1/+1
2018-05-01- Re-named "lux/data/coll/dict/*" to "lux/data/coll/dictionary/*".Eduardo Julian1-1/+1
2018-05-01- Re-organized dict modules.Eduardo Julian1-6/+6
2018-05-01- Re-organized set modules.Eduardo Julian1-0/+0
2018-04-05- Improved the syntax for the "lux.function" macro.Eduardo Julian1-1/+1
2017-11-29- Changed the identifier separator, from the semi-colon (;) to the period/dot...Eduardo Julian1-13/+13
2017-11-27- Changed the prefixes of numeric functions.Eduardo Julian1-2/+2
2017-09-19- Some refactoring.Eduardo Julian1-4/+1
2017-07-15- Can now generate Eq instances for #rec-style recursive types.Eduardo Julian1-1/+1
2017-04-10- Renamed "lambda" to "function".Eduardo Julian1-1/+1
2017-04-03- Renamed lux/codata/* to lux/function/* and moved the lux/codata/coll/stream...Eduardo Julian1-2/+1
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-2/+2
2016-12-22- Fixed a bug in the way hierarchy->base demotion worked for Dict nodes.Eduardo Julian1-9/+9
2016-12-02- Changed the names of math op functions to make them more consistent and sim...Eduardo Julian1-2/+2
2016-12-01- Collected the Lux compiler's repo, the Standard Library's, the Leiningen pl...Eduardo Julian1-0/+85