Implement 'existing' keyword for skipping compilation of a symbol#446

jespercockx wants to merge 1 commit into

masteragda/agda2hs:masterfrom

existingagda/agda2hs:existingCopy head branch name to clipboard