Skip to content

Commit

Permalink
Fix custom normalization (#2464)
Browse files Browse the repository at this point in the history 
Fixes #2463

The root of the problem was that `normalizeWithM` would only
apply the custom normalizer to function applications, instead of
testing the custom normalizer on all subexpressions.
  • Loading branch information
@Gabriella439
Gabriella439 authored Oct 15, 2022
1 parent c4a0a95 commit e1645f1
Show file tree
Hide file tree
Showing 2 changed files with 391 additions and 372 deletions.
Loading

0 comments on commit e1645f1

Please sign in to comment.