bmsherman/overlapping-patterns

Overlapping pattern matching for programming with continuous functions

Coq