Re: Request for feedback: deriving strategies syntax

On 2016-08-19 03:45, Baldur Blöndal wrote:

I haven't followed the thread but do we actually need a name for it, can't it be indicated by omission? ‘default’ or ‘builtin’ sounds okay

'default' is good too, IMO.