remove Cpat from match-info; add match-info extractor fns

wilbowma / cur

A less devious proof assistant

BSD 2-Clause "Simplified" License

222 stars 18 forks source link

Closed stchang closed 4 years ago

stchang commented 4 years ago

closes #111

~~(dont merge yet)~~ Ready to (squash) and merge.

stchang commented 4 years ago

I will squash and merge this tonight unless there are objections

wilbowma commented 4 years ago

Looks good to me.