add simplest possible shell.nix to get ghc-9.10, cabal and z3#26
Merged
ulysses4ever merged 1 commit intomainfrom Aug 13, 2025
Merged
add simplest possible shell.nix to get ghc-9.10, cabal and z3#26ulysses4ever merged 1 commit intomainfrom
ulysses4ever merged 1 commit intomainfrom