Skip to content

Commit

Permalink
Merge pull request #5589 from unisonweb/runarorama/etaReducePretty
Browse files Browse the repository at this point in the history 
Eta-reduce unsightly "_eta" expanded terms before pretty-printing
  • Loading branch information
@aryairani
aryairani authored Feb 25, 2025
2 parents c85e509 + 786b5f4 commit 6666150
Show file tree
Hide file tree
Showing 3 changed files with 302 additions and 193 deletions.
Loading

0 comments on commit 6666150

Please sign in to comment.