Rename NNRCimpish and NNRCimp

querycert / qcert

Compilation and Verification of Data-Centric Languages

https://querycert.github.io/

Apache License 2.0

56 stars 9 forks source link

Closed mandel closed 6 years ago

mandel commented 6 years ago

Rename NNRCimpish to NNRS (Named Nested Relational Statements) and NNRCimp to NNRSimp.