Switching back to vanilla agda2hs#3

viktorcsimma wants to merge 1 commit intomainviktorcsimma/acorn:mainfrom

vanilla-agda2hsviktorcsimma/acorn:vanilla-agda2hsCopy head branch name to clipboard