Closed teo-tsirpanis closed 2 years ago
The optimization avoids the prohibitively expensive List.rev.
Closing due to inactivity; seems the repository is dead.
The optimization avoids the prohibitively expensive List.rev.