Typechecker: Simplify width(2^^n) to n + 1
#532
Run time
Learn about OS # on GitHub Actions| Job | Run time |
|---|---|
| 1m 48s | |
| 2m 8s | |
| 3m 56s |
width(2^^n) to n + 1
#532
| Job | Run time |
|---|---|
| 1m 48s | |
| 2m 8s | |
| 3m 56s |