3 ms·

So what happened to refinements? They were given a warning in 2.0 because the other implementations warned that implementing refinements would lead to worse per

So what happened to refinements? They were given a warning in 2.0 because the other implementations warned that implementing refinements would lead to worse performance. Has that been fixed?

MartinMond 13y ago
@headius was so kind to answer my question on Twitter: https://twitter.com/MSch/status/382065119515398144 https://twitter.com/MSch/status/382065119515398144