Overlapping pattern matching for programming with continuous functions
Primary LanguageCoq
No issues in this repository yet.