dotfiles/nixos-config
1
0
Fork 0
mirror of https://github.com/srid/nixos-config.git synced 2026-05-11 17:36:07 +08:00
Code Issues Projects Releases Packages Wiki Activity Actions

Remove idris; don't wait it recompile

Browse source
This commit is contained in:
Sridhar Ratnakumar 2022-10-07 22:05:41 -04:00
parent 73ea0b0391
commit 331525c141
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
systems/darwin.nix
View file

@ -17,7 +17,7 @@
# Emacs configuration system assumes global state, and is thus shit. We just work with it.
# https://github.com/hlissner/doom-emacs/blob/f458f9776049fd7e9523318582feed682e7d575c/modules/lang/agda/config.el#L3-L8
(rosettaPkgs.agda.withPackages (p: [ p.standard-library ]))
rosettaPkgs.idris2
# rosettaPkgs.idris2
#rosettaPkgs.coq
# (rosettaPkgs.haskellPackages.callHackage "agda-language-server" "0.2.1" { })