search

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris
https://idris-lang.org/
Other
903 stars 58 forks source link

Refactor Utils.String.stripQuotes to avoid double reversion on Strings #388

Closed fabianhjr closed 2 years ago

fabianhjr commented 4 years ago

Don't know how much of a performance impact this is but substr should be more performant than two string reversals.

Dual of edwinb/Idris2-SH#8