[Agda] Cabal hell again

[Georgi Lyubenov]

Agda from master(552987aa0119f2bca5eaf4dca7934e37209112f9) builds fine for
me with

stack build --stack-yaml stack-8.8.3.yaml

I don't think stack init is necessary, unless some dependencies were
changed. Is this from some other branch?

======
Georgi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200708/d3ae6f5b/attachment.html>