nix-config

My personal nixos and home-manager configuration
Log | Files | Refs | README

default.nix (365B)

      1 { config, pkgs, lib, ... }:
      2 
      3 with lib;
      4 
      5 {
      6   options.idris2 = {
      7     enable = mkEnableOption "idris2";
      8   };
      9 
     10   config = mkIf config.idris2.enable {
     11     home.packages = [
     12       pkgs.idris2
     13       #(pkgs.idris2.withPackages (ps: with ps; [ idris2api ]))
     14       #(pkgs.idris2.packages.lsp.withPackages (ps: with ps; [ idris2api ]))
     15       #(import ./lsp.nix)
     16     ];
     17   };
     18 }