coq-switch

A plugin to implement functionality similar to `switch` statement in C language.

opam install coq-switch.1.0.4
homepage
https://github.com/vzaliva/coq-switch
license
MIT
bugs tracker
https://github.com/vzaliva/coq-switch/issues
dependencies
"coq" {>= "8.12.0"} "coq-metacoq-template" {>= "1.0~beta1+8.12"}
source
https://github.com/vzaliva/coq-switch/archive/v1.0.4.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-switch/coq-switch.1.0.4