19 Mar
2016
19 Mar
'16
9:50 a.m.
On 19 March 2016 at 10:46, Józef Kucia <joseph.kucia(a)gmail.com> wrote:
It can be implemented. However, I don't expect it to be very useful in practice. Yeah. What we tend to do is to just put in a small comment that describes how it could be implemented and why it isn't.