[Agda] Bug caused by new forcing translation

stvienna wiener stvienna at gmail.com
Mon Mar 5 08:23:12 CET 2018

Hi all,

My formalization doesn't work because of the open bug:

(Location of the error: Forcing.hs:230)

Is there a work around so that I can keep on working?
What agda commit should I revert to? (I.e., in which commit was the
new forcing translation introduced?)


More information about the Agda mailing list