Fix compiling v set notation to u with unicode properties
#138
| Job | Run time |
|---|---|
| 22s | |
| 32s | |
| 20s | |
| 1m 14s |
v set notation to u with unicode properties
#138
| Job | Run time |
|---|---|
| 22s | |
| 32s | |
| 20s | |
| 1m 14s |