j
k
j a
j l
On Mon, Feb 15, 2016 at 12:57 PM, Eric Seidel wrote:
It looks like it is. According to [1], the context must have the form `C a` unless FlexibleContexts is enabled.
Works for me, thanks!
Back to the thread
Back to the list