Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Login
From:
blog.ielliott.io
(Uncensored)
subscribe
Configuring Agda's standard library on NixOS
https://blog.ielliott.io/agda-nixos
links
backlinks
I’ve been using Agda on NixOS for a while (mostly via agda-mode in Emacs), but I remember it was a bit difficult to get going the very first time. Hopefully this becomes a searchable reference to getting it all set up quickly.