Prerequisites

Prerequisites

Install nix

Follow the guide here

Install nix-direnv

Follow the guide here

Use this flake

Add to your repository

nix registry add flakies github:leana8959/flakies

Generate from the templates

nix flake init flakies#query # replace query with your module of liking

Why3 (removed)

This template has been moved to https://github.com/leana8959/.files as a package. Do

nix build github:leana8959/.files#why3

Haskell

ghc version status
ghc boot library version history

Proven to work pins

If the exact version you're looking for is not on the list, pick the closest one and use the haskell.packages.ghcXYZ package set.

# (June 28 2023) stackage LTS 20.26 / ghc928 (Last of 9.2.x) / hls ?
nixpkgs.url = "github:NixOS/nixpkgs/ca6912ef4e004e09637dcbeed71dd352f11aaa76";

# (Jan   7 2024) stackage LTS 21.25 / ghc948 (Last of 9.4.x) / hls 2.5.0.0
nixpkgs.url = "github:NixOS/nixpkgs/edebca765c17d551b9634c02f6a02f1b122e0ba0";

# (Jan  22 2024) stackage LTS 22.16 / ghc964 / hls 2.7.0.0
nixpkgs.url = "github:NixOS/nixpkgs/e4330b3996980ccf70918af3c86ea3d89cd5433d";

# (May  19 2024) stackage LTS 22.22 / ghc965 (last of 9.6.x) / hls 2.8.0.0
# NOTE: this is not the "last" rev before the next version
nixpkgs.url = "github:NixOS/nixpkgs/1faadcf5147b9789aa05bdb85b35061b642500a4";

---

Credits:

• Sigmanificient for the help with why3 template