Skip to content
Snippets Groups Projects
Commit 5f275176 authored by Alan Zimmerman's avatar Alan Zimmerman Committed by Marge Bot
Browse files

EPA: Clean up Exactprint helper functions a bit 

- Introduce a helper lens to compose on `EpAnn a` vs `a` versions
- Rename some prime versions of functions back to non-prime
  They were renamed during the rework
parent 97a2bb1c
No related merge requests found
Expand all Hide whitespace changes
Inline Side-by-side
utils/check-exact/ExactPrint.hs
+ 272
− 284
View file @ 5f275176
This diff is collapsed.
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