Skip to content

introduce notation for value comparison

Ralf Jung requested to merge ralf/val-compare into master

This should make all those CAS specs much easier to read.

However, if I adjust the CAS specs now I'll have to do it all again once !274 (merged) lands, so this just proposes the syntax now so the bikeshed about that can start.

Edited by Ralf Jung

Merge request reports