19 Mar
2016
19 Mar
'16
9:50 a.m.
On 19 March 2016 at 10:46, Józef Kucia joseph.kucia@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.