From 295e51f327b355eab608ebb890aeeaea0ed2b02f Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Thu, 17 Mar 2022 13:52:03 +0100
Subject: home: add (cubical) agda

---
 home/packages.nix | 1 +
 1 file changed, 1 insertion(+)

(limited to 'home')

diff --git a/home/packages.nix b/home/packages.nix
index 92473a2..4d3af71 100644
--- a/home/packages.nix
+++ b/home/packages.nix
@@ -32,6 +32,7 @@ in
     # other functional things
     racket dhall lean dune_2 ocamlPackages.utop ocamlPackages.ocp-indent
     ocamlPackages.merlin ocaml gauche
+    (agda.withPackages (p: [ p.standard-library p.cubical ]))
     # html, js & co
     jq html-tidy nodePackages.stylelint nodePackages.js-beautify zola
     # purescript
-- 
cgit v1.2.3