On Tue, Aug 26, 2008 at 17:32, Liyang HU <comp.lang.agda at liyang.hu> wrote: > > I've made some pre- > compiled packages of Agda Great work! I've added a link from the Agda wiki. Now we have precompiled packages for Debian/Ubuntu and Windows. Does anyone want to prepare a package for OS X? -- /NAD