Adding a nix shell.

.github/workflows/main.yml

@@ -14,11 +14,11 @@ jobs:
     steps:
       - uses: actions/checkout@v3
 
-      - name: Set up GHC 9.2.7
+      - name: Set up GHC 9.2.8
         uses: haskell/actions/setup@v2
         id: setup
         with:
-          ghc-version: '9.2.7'
+          ghc-version: '9.2.8'
           cabal-version: '3.10.1.0'
           cabal-update: true
 
@@ -50,11 +50,11 @@ jobs:
       with:
         version: 'nightly'
 
-    - name: Set up GHC 9.2.7
+    - name: Set up GHC 9.2.8
       uses: haskell/actions/setup@v2
       id: setup
       with:
-        ghc-version: '9.2.7'
+        ghc-version: '9.2.8'
         cabal-version: '3.10.1.0'
         cabal-update: true
 

.gitignore

@@ -30,11 +30,21 @@ cabal.project.local~
 .HTF/
 .ghc.environment.*
 
-########
-#Editor#
-########
-# VS code
-**/.vscode/
+#########
+#VS code#
+#########
+.vscode/*
+!.vscode/settings.json
+!.vscode/tasks.json
+!.vscode/launch.json
+!.vscode/extensions.json
+!.vscode/*.code-snippets
+
+# Local History for Visual Studio Code
+.history/
+
+# Built Visual Studio Code Extensions
+*.vsix
 
 #########
 #Futhark#
@@ -174,4 +184,56 @@ venv.bak/
 dmypy.json
 
 # Pyre type checker
-.pyre/
+.pyre/
+
+
+#######
+#Emacs#
+#######
+*~
+\#*\#
+/.emacs.desktop
+/.emacs.desktop.lock
+*.elc
+auto-save-list
+tramp
+.\#*
+
+# Org-mode
+.org-id-locations
+*_archive
+
+# flymake-mode
+*_flymake.*
+
+# eshell files
+/eshell/history
+/eshell/lastdir
+
+# elpa packages
+/elpa/
+
+# reftex files
+*.rel
+
+# AUCTeX auto folder
+/auto/
+
+# cask packages
+.cask/
+dist/
+
+# Flycheck
+flycheck_*.el
+
+# server auth directory
+/server/
+
+# projectiles files
+.projectile
+
+# directory configuration
+.dir-locals.el
+
+# network security
+/network-security.data