[Agda] Instructions how to setup your system for hacking on Agda (AIM XXXI)
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