Skip to content
This repository was archived by the owner on May 22, 2026. It is now read-only.

Commit b7c89a0

Browse files
chore: add nix
1 parent bc2b120 commit b7c89a0

4 files changed

Lines changed: 126 additions & 0 deletions

File tree

.envrc

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
use flake

.gitignore

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,29 @@
11
# all .out files
22
*.out
3+
input.txt
4+
inputs.txt
5+
.direnv/
6+
# https://github.com/github/gitignore/blob/main/Haskell.gitignore
7+
dist
8+
dist-*
9+
cabal-dev
10+
*.o
11+
*.hi
12+
*.hie
13+
*.chi
14+
*.chs.h
15+
*.dyn_o
16+
*.dyn_hi
17+
.hpc
18+
.hsenv
19+
.cabal-sandbox/
20+
cabal.sandbox.config
21+
*.prof
22+
*.aux
23+
*.hp
24+
*.eventlog
25+
.stack-work/
26+
cabal.project.local
27+
cabal.project.local~
28+
.HTF/
29+
.ghc.environment.*

flake.lock

Lines changed: 61 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

flake.nix

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
{
2+
description = "Haskell dev environment AtCoder";
3+
4+
inputs = {
5+
nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
6+
flake-utils.url = "github:numtide/flake-utils";
7+
};
8+
9+
outputs =
10+
{
11+
self,
12+
nixpkgs,
13+
flake-utils,
14+
}:
15+
flake-utils.lib.eachDefaultSystem (
16+
system:
17+
let
18+
pkgs = import nixpkgs { inherit system; };
19+
in
20+
{
21+
formatter = nixpkgs.legacyPackages.${system}.nixfmt-tree;
22+
23+
devShells.default = pkgs.mkShell {
24+
packages = [
25+
pkgs.zsh
26+
(pkgs.haskell.packages.ghc96.ghcWithPackages (ps: [
27+
ps.vector
28+
ps.containers
29+
ps.bytestring
30+
]))
31+
pkgs.haskell.packages.ghc96.cabal-install
32+
pkgs.haskell.packages.ghc96.haskell-language-server
33+
];
34+
};
35+
}
36+
);
37+
}

0 commit comments

Comments
 (0)