[Agda-dev] COMPILE pragma not allowed in safe mode.

[Nils Anders Danielsson]

On 02/02/2019 21.50, John Leo wrote:
> Also I've been pulling latest agda-stdlib from the master branch to go
> with agda from the master branch. Are you saying I should be using
> experimental stdlib with master agda?

At least that's what the standard library's README says.

-- 
/NAD