5 Commits (953a907e7b70370fed5335618068c5984b8dac58)

Author SHA1 Message Date
Josh Berdine 1274bd0d46 [sledge] Optimize equality solver on sequences using super-term index
4 years ago
Josh Berdine d298eb1bad [sledge] Optimize Set operations
4 years ago
Josh Berdine dfd897d9e4 [sledge] Switch Zero-One-Many type to a standard variant
4 years ago
Josh Berdine cbe6872731 [sledge] Adapt NSSet to Comparer interface
4 years ago
Josh Berdine de8d583f82 [sledge] Rename nonstdlib/{map,set} to nonstdlib/{NSMap,NSSet}
4 years ago