Repository navigation
feat(#92): widths need not agree for ==, and match arms join on wid…
#229
| Job | Run time |
|---|---|
| 5s | |
| 5s | |
| 6s | |
| 16s |
==, and match arms join on wid…
#229
| Job | Run time |
|---|---|
| 5s | |
| 5s | |
| 6s | |
| 16s |