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

Andreas Abel abela at chalmers.se
Tue Nov 8 20:29:58 CET 2022

Dear Agda folks,

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


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 Abel  <><      Du bist der geliebte Mensch.

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

andreas.abel at gu.se

More information about the Agda mailing list