[Agda] Instructions how to setup your system for hacking on Agda (AIM XXXI)

[Andreas Abel]

Dear Agda folks,

upon prompted for instructions how to prepare for hacking on Agda (AIM 
XXXI tutorial), I have written quick notes at

   https://wiki.portal.chalmers.se/agda/Main/Hackingpreparation

So, if you have some time before Thursday morning you can get your 
system up to speed for Agda hacking.

See you at the Agda meeting!
Andreas

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/