impermeable / coq-waterproof

GNU Lesser General Public License v3.0
29 stars 9 forks source link

Rewrite the 'match' statement in Since.v to 'match!' #50

Closed DikieDick closed 2 months ago

DikieDick commented 3 months ago

The 'match!' statement allows for matching on types and thus we can get rid of the nested match constr_equal expressions.