search

wilbowma / cur

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

replace all pattern matching on terms with pattern expanders #89

Open wilbowma opened 5 years ago

wilbowma commented 5 years ago

This is relevant to turnstile-core, but not critical for merging.

Without this, it's difficult to change representation, and I need to change representation to add a feature to turnstile-drracket plugin.