felixonmars / parameterized-utils Goto Github PK
View Code? Open in Web Editor NEWThis project forked from galoisinc/parameterized-utils
A set of utilities for using indexed types including containers, equality, and comparison.
License: BSD 3-Clause "New" or "Revised" License