search

wilbowma / cur

A less devious proof assistant
BSD 2-Clause "Simplified" License
222 stars 18 forks source link

remove C-pat from match-info #111

Closed stchang closed 4 years ago

stchang commented 4 years ago

see https://github.com/wilbowma/cur/commit/9b3dc826660a21fdd14690a18cad0eaf5e301086#r39816834