Commit Graph

12 Commits (65efa978e5f1bfd5e1d21a0076216c5923e9830f)

Author SHA1 Message Date
Josh Berdine 5cdd3cd781 [sledge] Minor Map interface simplifications 4 years ago
Josh Berdine a4caa0bd65 [sledge] Optimize Map operations 4 years ago
Josh Berdine dfd897d9e4 [sledge] Switch Zero-One-Many type to a standard variant 4 years ago
Josh Berdine c7c06addfd [sledge] Adapt Multiset to Comparer interface 4 years ago
Josh Berdine 849c5c3ab5 [sledge] Add Map.partition_map 4 years ago
Josh Berdine 4a59f053fa [sledge] Improve printing 4 years ago
Josh Berdine 920c553902 [sledge] Change type of fold functions for improved composition 4 years ago
Josh Berdine 4780b92584 [sledge] Shift to a more standard Map API 4 years ago
Josh Berdine b6a77f6567 [sledge] Refactor nonstdlib to avoid opening Core 4 years ago
Josh Berdine 3258761ac3 [sledge] Represent arithmetic terms using polynomials 4 years ago
Josh Berdine df35f9702a [sledge] Generalize Multiset over type of multiplicities 4 years ago
Josh Berdine bd49ad84a8 [sledge] Rename Qset to Multiset 4 years ago