PostInstall hook for compiling agda primitives
Merge pull request #66 from bluescreen303/agda

PostInstall hook for compiling agda primitives