[Agda] Any Mac volunteers?

[Nils Anders Danielsson]

Hi,

Many people who have trouble installing Agda seem to be using MacOS. For
the other main desktop OSes, Windows and Linux, we have prepared
precompiled packages. It would be very helpful if some Mac-savvy person
could prepare such a package for MacOS.

-- 
/NAD

This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.