Pavel Marek 5f7a4a5a39 Merge ordered and unordered comparators (#5845) ... Merge _ordered_ and _unordered_ comparators into a single one. # Important Notes Comparator is now required to have only `compare` method: ``` type Comparator comapre : T -> T -> (Ordering|Nothing) hash : T -> Integer ```		2023-03-11 05:43:22 +00:00
..
src	Merge ordered and unordered comparators (#5845)	2023-03-11 05:43:22 +00:00
package.yaml	Run components through the launcher (#1073)	2020-08-19 13:24:31 +01:00