fix: simp?
should track unfolded let-decls
#101
Job | Run time |
---|---|
6s | |
6s |
simp?
should track unfolded let-decls
#101
Job | Run time |
---|---|
6s | |
6s |