Skip to content
Snippets Groups Projects
Commit 026f759e authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Remove redefined list notations in scopes. 

Instead, I have added subscripts to the inclusion notations. This makes pretty
printing much more reliable, and generally even shortens things, as no scope
annotations are needed.
parent 3e9074b9
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 132 additions and 179 deletions
  • Ralf Jung @jung ·
    Owner

    So the fix for too many scope annotations being printed is not to use scopes. Oh well.

    Anyway, nice work, this is certainly an improvement!

0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment