fix: use dsimp
to remove abstraction overhead of our parsing stage
#33
Job | Run time |
---|---|
10m 16s | |
10m 16s |
dsimp
to remove abstraction overhead of our parsing stage
#33
Job | Run time |
---|---|
10m 16s | |
10m 16s |