docs/installation: point new wiki

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

Other

2.39k stars 337 forks source link

Closed Mic92 closed 2 weeks ago

Mic92 commented 3 weeks ago

This commit updates the the link from the former, unofficial nixos wiki page to the new https://wiki.nixos.org

ref: NixOS/foundation#113

andreasabel commented 2 weeks ago

Thanks!