John Benediktsson
|
e7a42b1dc4
|
sets: rename unordered-set back to set.
|
2016-03-29 15:46:29 -07:00 |
Doug Coleman
|
28dcd0667a
|
factor: rename set to unordered-set.
|
2015-08-12 10:54:19 -05:00 |
Doug Coleman
|
352e5de16a
|
core, basis, extra: Remove DOS line endings from files.
Remove whitespace from end of lines.
Add a newline to the end of each file.
|
2015-06-29 17:25:40 -07:00 |
John Benediktsson
|
15badfbcd9
|
hash-sets: use map-into in members.
|
2013-04-07 13:09:20 -07:00 |
John Benediktsson
|
06754951d3
|
hash-sets.wrapped: support for "wrapped" hash-sets.
|
2013-04-06 14:14:00 -07:00 |