search

RedPRL / cooltt

😎TT
http://www.redprl.org/
Apache License 2.0
219 stars 16 forks source link

❌ Drop seemingly pointless optimization #354

Closed favonia closed 2 years ago

favonia commented 2 years ago

Currently the left inversion seems to be doing useless optimization.