diff --git a/.github/workflows/update-flake-lock.yml b/.github/workflows/update-flake-lock.yml
index 65e6074c..3fc8a305 100644
--- a/.github/workflows/update-flake-lock.yml
+++ b/.github/workflows/update-flake-lock.yml
@@ -16,4 +16,4 @@ jobs:
           extra_nix_config: |
             access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
       - name: Update flake.lock
-        uses: DeterminateSystems/update-flake-lock@v13
+        uses: DeterminateSystems/update-flake-lock@v14
diff --git a/README.md b/README.md
index 177c9eb9..e89b9b99 100644
--- a/README.md
+++ b/README.md
@@ -49,11 +49,12 @@ for probabilistic programs][thesis-doi]. Thesis. University of Cambridge.
 
 Now you can use `stack build`, `stack test` and `stack ghci`.
 
-**To view the notebooks, go to the website**. To use the notebooks interactively, you will first need `nix`. Then:
+**To view the notebooks, go to the website**. To use the notebooks interactively:
 
-1. Run `nix develop --system x86_64-darwin --extra-experimental-features nix-command --extra-experimental-features flakes`
-
-2. This should open a shell, from which you can run `jupyter-lab` to load the notebooks
+1. Compile the source: `stack build`
+2. If you do not have `nix` [install it](https://nixos.org/download.html).
+3. Run `nix develop --system x86_64-darwin --extra-experimental-features nix-command --extra-experimental-features flakes` - this should open a nix shell. For Linux use `x86_64-linux` for `--system` option instead. 
+4. Run `jupyter-lab` from the nix shell to load the notebooks.
 
 Your mileage may vary. 
 
diff --git a/flake.lock b/flake.lock
index 19d98dd2..fb610014 100644
--- a/flake.lock
+++ b/flake.lock
@@ -16,6 +16,38 @@
         "type": "github"
       }
     },
+    "HTTP_2": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1451647621,
+        "narHash": "sha256-oHIyw3x0iKBexEo49YeUDV1k74ZtyYKGR2gNJXXRxts=",
+        "owner": "phadej",
+        "repo": "HTTP",
+        "rev": "9bc0996d412fef1787449d841277ef663ad9a915",
+        "type": "github"
+      },
+      "original": {
+        "owner": "phadej",
+        "repo": "HTTP",
+        "type": "github"
+      }
+    },
+    "HTTP_3": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1451647621,
+        "narHash": "sha256-oHIyw3x0iKBexEo49YeUDV1k74ZtyYKGR2gNJXXRxts=",
+        "owner": "phadej",
+        "repo": "HTTP",
+        "rev": "9bc0996d412fef1787449d841277ef663ad9a915",
+        "type": "github"
+      },
+      "original": {
+        "owner": "phadej",
+        "repo": "HTTP",
+        "type": "github"
+      }
+    },
     "cabal-32": {
       "flake": false,
       "locked": {
@@ -33,238 +65,549 @@
         "type": "github"
       }
     },
-    "cabal-34": {
+    "cabal-32_2": {
       "flake": false,
       "locked": {
-        "lastModified": 1640353650,
-        "narHash": "sha256-N1t6M3/wqj90AEdRkeC8i923gQYUpzSr8b40qVOZ1Rk=",
+        "lastModified": 1603716527,
+        "narHash": "sha256-X0TFfdD4KZpwl0Zr6x+PLxUt/VyKQfX7ylXHdmZIL+w=",
         "owner": "haskell",
         "repo": "cabal",
-        "rev": "942639c18c0cd8ec53e0a6f8d120091af35312cd",
+        "rev": "48bf10787e27364730dd37a42b603cee8d6af7ee",
         "type": "github"
       },
       "original": {
         "owner": "haskell",
-        "ref": "3.4",
+        "ref": "3.2",
         "repo": "cabal",
         "type": "github"
       }
     },
-    "cabal-36": {
+    "cabal-32_3": {
       "flake": false,
       "locked": {
-        "lastModified": 1641652457,
-        "narHash": "sha256-BlFPKP4C4HRUJeAbdembX1Rms1LD380q9s0qVDeoAak=",
+        "lastModified": 1603716527,
+        "narHash": "sha256-X0TFfdD4KZpwl0Zr6x+PLxUt/VyKQfX7ylXHdmZIL+w=",
         "owner": "haskell",
         "repo": "cabal",
-        "rev": "f27667f8ec360c475027dcaee0138c937477b070",
+        "rev": "48bf10787e27364730dd37a42b603cee8d6af7ee",
         "type": "github"
       },
       "original": {
         "owner": "haskell",
-        "ref": "3.6",
+        "ref": "3.2",
         "repo": "cabal",
         "type": "github"
       }
     },
-    "cabal-extras": {
+    "cabal-34": {
       "flake": false,
       "locked": {
-        "lastModified": 1653501499,
-        "narHash": "sha256-7MWKfeckChBpb69viOdNCc25o6QSxVhKSkD9SwigKOI=",
-        "owner": "phadej",
-        "repo": "cabal-extras",
-        "rev": "7a8f07aafcdbbeaeefcbb5f7e8e0e12f91b59fcb",
+        "lastModified": 1640353650,
+        "narHash": "sha256-N1t6M3/wqj90AEdRkeC8i923gQYUpzSr8b40qVOZ1Rk=",
+        "owner": "haskell",
+        "repo": "cabal",
+        "rev": "942639c18c0cd8ec53e0a6f8d120091af35312cd",
         "type": "github"
       },
       "original": {
-        "owner": "phadej",
-        "repo": "cabal-extras",
+        "owner": "haskell",
+        "ref": "3.4",
+        "repo": "cabal",
         "type": "github"
       }
     },
-    "cabal-fmt": {
+    "cabal-34_2": {
       "flake": false,
       "locked": {
-        "lastModified": 1630338999,
-        "narHash": "sha256-qeBMWynb1GTOU0GvhT5bVIKtiWkNuy88Zg5+GpXB/qc=",
-        "owner": "phadej",
-        "repo": "cabal-fmt",
-        "rev": "6651ffdccdfce71330f2b5cde9f8f23b616abf82",
+        "lastModified": 1640353650,
+        "narHash": "sha256-N1t6M3/wqj90AEdRkeC8i923gQYUpzSr8b40qVOZ1Rk=",
+        "owner": "haskell",
+        "repo": "cabal",
+        "rev": "942639c18c0cd8ec53e0a6f8d120091af35312cd",
         "type": "github"
       },
       "original": {
-        "owner": "phadej",
-        "repo": "cabal-fmt",
+        "owner": "haskell",
+        "ref": "3.4",
+        "repo": "cabal",
         "type": "github"
       }
     },
-    "cardano-shell": {
+    "cabal-34_3": {
       "flake": false,
       "locked": {
-        "lastModified": 1608537748,
-        "narHash": "sha256-PulY1GfiMgKVnBci3ex4ptk2UNYMXqGjJOxcPy2KYT4=",
-        "owner": "input-output-hk",
-        "repo": "cardano-shell",
-        "rev": "9392c75087cb9a3d453998f4230930dea3a95725",
+        "lastModified": 1640353650,
+        "narHash": "sha256-N1t6M3/wqj90AEdRkeC8i923gQYUpzSr8b40qVOZ1Rk=",
+        "owner": "haskell",
+        "repo": "cabal",
+        "rev": "942639c18c0cd8ec53e0a6f8d120091af35312cd",
         "type": "github"
       },
       "original": {
-        "owner": "input-output-hk",
-        "repo": "cardano-shell",
+        "owner": "haskell",
+        "ref": "3.4",
+        "repo": "cabal",
         "type": "github"
       }
     },
-    "ekg-json": {
+    "cabal-36": {
       "flake": false,
       "locked": {
-        "lastModified": 1651484342,
-        "narHash": "sha256-fVwKxGgM0S4Kv/4egVAAiAjV7QB5PBqMVMCfsv7otIQ=",
-        "owner": "pepeiborra",
-        "repo": "ekg-json",
-        "rev": "7a0af7a8fd38045fd15fb13445bdcc7085325460",
+        "lastModified": 1641652457,
+        "narHash": "sha256-BlFPKP4C4HRUJeAbdembX1Rms1LD380q9s0qVDeoAak=",
+        "owner": "haskell",
+        "repo": "cabal",
+        "rev": "f27667f8ec360c475027dcaee0138c937477b070",
         "type": "github"
       },
       "original": {
-        "owner": "pepeiborra",
-        "repo": "ekg-json",
-        "rev": "7a0af7a8fd38045fd15fb13445bdcc7085325460",
+        "owner": "haskell",
+        "ref": "3.6",
+        "repo": "cabal",
         "type": "github"
       }
     },
-    "eventlog2html": {
+    "cabal-36_2": {
       "flake": false,
       "locked": {
-        "lastModified": 1638797777,
-        "narHash": "sha256-NBf85qpjpipEqWANMoubaJ5B4bvKN/rzMRdchNGP444=",
-        "owner": "mpickering",
-        "repo": "eventlog2html",
-        "rev": "e959fdf879c2b404a9843d962b726af499b27cb8",
+        "lastModified": 1641652457,
+        "narHash": "sha256-BlFPKP4C4HRUJeAbdembX1Rms1LD380q9s0qVDeoAak=",
+        "owner": "haskell",
+        "repo": "cabal",
+        "rev": "f27667f8ec360c475027dcaee0138c937477b070",
         "type": "github"
       },
       "original": {
-        "owner": "mpickering",
-        "repo": "eventlog2html",
+        "owner": "haskell",
+        "ref": "3.6",
+        "repo": "cabal",
         "type": "github"
       }
     },
-    "flake-compat": {
+    "cabal-36_3": {
       "flake": false,
       "locked": {
-        "lastModified": 1650374568,
-        "narHash": "sha256-Z+s0J8/r907g149rllvwhb4pKi8Wam5ij0st8PwAh+E=",
-        "owner": "edolstra",
-        "repo": "flake-compat",
-        "rev": "b4a34015c698c7793d592d66adbab377907a2be8",
+        "lastModified": 1641652457,
+        "narHash": "sha256-BlFPKP4C4HRUJeAbdembX1Rms1LD380q9s0qVDeoAak=",
+        "owner": "haskell",
+        "repo": "cabal",
+        "rev": "f27667f8ec360c475027dcaee0138c937477b070",
         "type": "github"
       },
       "original": {
-        "owner": "edolstra",
-        "repo": "flake-compat",
+        "owner": "haskell",
+        "ref": "3.6",
+        "repo": "cabal",
         "type": "github"
       }
     },
-    "flake-compat_2": {
+    "cabal-extras": {
       "flake": false,
       "locked": {
-        "lastModified": 1631705391,
-        "narHash": "sha256-PzP6vikNJZiS7yANC6sZWQlIDf4E2MTckvAsJxwV0DQ=",
-        "owner": "teto",
-        "repo": "flake-compat",
-        "rev": "8e15c6e3c0f15d0687a2ab6ae92cc7fab896bfed",
+        "lastModified": 1653501499,
+        "narHash": "sha256-7MWKfeckChBpb69viOdNCc25o6QSxVhKSkD9SwigKOI=",
+        "owner": "phadej",
+        "repo": "cabal-extras",
+        "rev": "7a8f07aafcdbbeaeefcbb5f7e8e0e12f91b59fcb",
         "type": "github"
       },
       "original": {
-        "owner": "teto",
-        "ref": "support-packages",
-        "repo": "flake-compat",
+        "owner": "phadej",
+        "repo": "cabal-extras",
         "type": "github"
       }
     },
-    "flake-compat_3": {
+    "cabal-extras_2": {
       "flake": false,
       "locked": {
-        "lastModified": 1627913399,
-        "narHash": "sha256-hY8g6H2KFL8ownSiFeMOjwPC8P0ueXpCVEbxgda3pko=",
-        "owner": "edolstra",
-        "repo": "flake-compat",
-        "rev": "12c64ca55c1014cdc1b16ed5a804aa8576601ff2",
+        "lastModified": 1653501499,
+        "narHash": "sha256-7MWKfeckChBpb69viOdNCc25o6QSxVhKSkD9SwigKOI=",
+        "owner": "phadej",
+        "repo": "cabal-extras",
+        "rev": "7a8f07aafcdbbeaeefcbb5f7e8e0e12f91b59fcb",
         "type": "github"
       },
       "original": {
-        "owner": "edolstra",
-        "repo": "flake-compat",
+        "owner": "phadej",
+        "repo": "cabal-extras",
         "type": "github"
       }
     },
-    "flake-compat_4": {
+    "cabal-extras_3": {
       "flake": false,
       "locked": {
-        "lastModified": 1627913399,
-        "narHash": "sha256-hY8g6H2KFL8ownSiFeMOjwPC8P0ueXpCVEbxgda3pko=",
-        "owner": "edolstra",
-        "repo": "flake-compat",
-        "rev": "12c64ca55c1014cdc1b16ed5a804aa8576601ff2",
+        "lastModified": 1653501499,
+        "narHash": "sha256-7MWKfeckChBpb69viOdNCc25o6QSxVhKSkD9SwigKOI=",
+        "owner": "phadej",
+        "repo": "cabal-extras",
+        "rev": "7a8f07aafcdbbeaeefcbb5f7e8e0e12f91b59fcb",
         "type": "github"
       },
       "original": {
-        "owner": "edolstra",
-        "repo": "flake-compat",
+        "owner": "phadej",
+        "repo": "cabal-extras",
         "type": "github"
       }
     },
-    "flake-utils": {
+    "cabal-fmt": {
+      "flake": false,
       "locked": {
-        "lastModified": 1659877975,
-        "narHash": "sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc=",
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "rev": "c0e246b9b83f637f4681389ecabcb2681b4f3af0",
+        "lastModified": 1630338999,
+        "narHash": "sha256-qeBMWynb1GTOU0GvhT5bVIKtiWkNuy88Zg5+GpXB/qc=",
+        "owner": "phadej",
+        "repo": "cabal-fmt",
+        "rev": "6651ffdccdfce71330f2b5cde9f8f23b616abf82",
         "type": "github"
       },
       "original": {
-        "owner": "numtide",
-        "repo": "flake-utils",
+        "owner": "phadej",
+        "repo": "cabal-fmt",
         "type": "github"
       }
     },
-    "flake-utils_2": {
+    "cabal-fmt_2": {
+      "flake": false,
       "locked": {
-        "lastModified": 1644229661,
-        "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=",
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797",
+        "lastModified": 1630338999,
+        "narHash": "sha256-qeBMWynb1GTOU0GvhT5bVIKtiWkNuy88Zg5+GpXB/qc=",
+        "owner": "phadej",
+        "repo": "cabal-fmt",
+        "rev": "6651ffdccdfce71330f2b5cde9f8f23b616abf82",
         "type": "github"
       },
       "original": {
-        "owner": "numtide",
-        "repo": "flake-utils",
+        "owner": "phadej",
+        "repo": "cabal-fmt",
         "type": "github"
       }
     },
-    "flake-utils_3": {
+    "cabal-fmt_3": {
+      "flake": false,
       "locked": {
-        "lastModified": 1659877975,
-        "narHash": "sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc=",
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "rev": "c0e246b9b83f637f4681389ecabcb2681b4f3af0",
+        "lastModified": 1630338999,
+        "narHash": "sha256-qeBMWynb1GTOU0GvhT5bVIKtiWkNuy88Zg5+GpXB/qc=",
+        "owner": "phadej",
+        "repo": "cabal-fmt",
+        "rev": "6651ffdccdfce71330f2b5cde9f8f23b616abf82",
         "type": "github"
       },
       "original": {
-        "owner": "numtide",
-        "repo": "flake-utils",
+        "owner": "phadej",
+        "repo": "cabal-fmt",
         "type": "github"
       }
     },
-    "flake-utils_4": {
+    "cardano-shell": {
+      "flake": false,
       "locked": {
-        "lastModified": 1659877975,
-        "narHash": "sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc=",
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "rev": "c0e246b9b83f637f4681389ecabcb2681b4f3af0",
+        "lastModified": 1608537748,
+        "narHash": "sha256-PulY1GfiMgKVnBci3ex4ptk2UNYMXqGjJOxcPy2KYT4=",
+        "owner": "input-output-hk",
+        "repo": "cardano-shell",
+        "rev": "9392c75087cb9a3d453998f4230930dea3a95725",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "cardano-shell",
+        "type": "github"
+      }
+    },
+    "cardano-shell_2": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1608537748,
+        "narHash": "sha256-PulY1GfiMgKVnBci3ex4ptk2UNYMXqGjJOxcPy2KYT4=",
+        "owner": "input-output-hk",
+        "repo": "cardano-shell",
+        "rev": "9392c75087cb9a3d453998f4230930dea3a95725",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "cardano-shell",
+        "type": "github"
+      }
+    },
+    "cardano-shell_3": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1608537748,
+        "narHash": "sha256-PulY1GfiMgKVnBci3ex4ptk2UNYMXqGjJOxcPy2KYT4=",
+        "owner": "input-output-hk",
+        "repo": "cardano-shell",
+        "rev": "9392c75087cb9a3d453998f4230930dea3a95725",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "cardano-shell",
+        "type": "github"
+      }
+    },
+    "ekg-json": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1651484342,
+        "narHash": "sha256-fVwKxGgM0S4Kv/4egVAAiAjV7QB5PBqMVMCfsv7otIQ=",
+        "owner": "pepeiborra",
+        "repo": "ekg-json",
+        "rev": "7a0af7a8fd38045fd15fb13445bdcc7085325460",
+        "type": "github"
+      },
+      "original": {
+        "owner": "pepeiborra",
+        "repo": "ekg-json",
+        "rev": "7a0af7a8fd38045fd15fb13445bdcc7085325460",
+        "type": "github"
+      }
+    },
+    "ekg-json_2": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1651484342,
+        "narHash": "sha256-fVwKxGgM0S4Kv/4egVAAiAjV7QB5PBqMVMCfsv7otIQ=",
+        "owner": "pepeiborra",
+        "repo": "ekg-json",
+        "rev": "7a0af7a8fd38045fd15fb13445bdcc7085325460",
+        "type": "github"
+      },
+      "original": {
+        "owner": "pepeiborra",
+        "repo": "ekg-json",
+        "rev": "7a0af7a8fd38045fd15fb13445bdcc7085325460",
+        "type": "github"
+      }
+    },
+    "ekg-json_3": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1651484342,
+        "narHash": "sha256-fVwKxGgM0S4Kv/4egVAAiAjV7QB5PBqMVMCfsv7otIQ=",
+        "owner": "pepeiborra",
+        "repo": "ekg-json",
+        "rev": "7a0af7a8fd38045fd15fb13445bdcc7085325460",
+        "type": "github"
+      },
+      "original": {
+        "owner": "pepeiborra",
+        "repo": "ekg-json",
+        "rev": "7a0af7a8fd38045fd15fb13445bdcc7085325460",
+        "type": "github"
+      }
+    },
+    "eventlog2html": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1638797777,
+        "narHash": "sha256-NBf85qpjpipEqWANMoubaJ5B4bvKN/rzMRdchNGP444=",
+        "owner": "mpickering",
+        "repo": "eventlog2html",
+        "rev": "e959fdf879c2b404a9843d962b726af499b27cb8",
+        "type": "github"
+      },
+      "original": {
+        "owner": "mpickering",
+        "repo": "eventlog2html",
+        "type": "github"
+      }
+    },
+    "eventlog2html_2": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1638797777,
+        "narHash": "sha256-NBf85qpjpipEqWANMoubaJ5B4bvKN/rzMRdchNGP444=",
+        "owner": "mpickering",
+        "repo": "eventlog2html",
+        "rev": "e959fdf879c2b404a9843d962b726af499b27cb8",
+        "type": "github"
+      },
+      "original": {
+        "owner": "mpickering",
+        "repo": "eventlog2html",
+        "type": "github"
+      }
+    },
+    "eventlog2html_3": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1638797777,
+        "narHash": "sha256-NBf85qpjpipEqWANMoubaJ5B4bvKN/rzMRdchNGP444=",
+        "owner": "mpickering",
+        "repo": "eventlog2html",
+        "rev": "e959fdf879c2b404a9843d962b726af499b27cb8",
+        "type": "github"
+      },
+      "original": {
+        "owner": "mpickering",
+        "repo": "eventlog2html",
+        "type": "github"
+      }
+    },
+    "flake-compat": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1650374568,
+        "narHash": "sha256-Z+s0J8/r907g149rllvwhb4pKi8Wam5ij0st8PwAh+E=",
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "rev": "b4a34015c698c7793d592d66adbab377907a2be8",
+        "type": "github"
+      },
+      "original": {
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "type": "github"
+      }
+    },
+    "flake-compat_2": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1650374568,
+        "narHash": "sha256-Z+s0J8/r907g149rllvwhb4pKi8Wam5ij0st8PwAh+E=",
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "rev": "b4a34015c698c7793d592d66adbab377907a2be8",
+        "type": "github"
+      },
+      "original": {
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "type": "github"
+      }
+    },
+    "flake-compat_3": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1650374568,
+        "narHash": "sha256-Z+s0J8/r907g149rllvwhb4pKi8Wam5ij0st8PwAh+E=",
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "rev": "b4a34015c698c7793d592d66adbab377907a2be8",
+        "type": "github"
+      },
+      "original": {
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "type": "github"
+      }
+    },
+    "flake-compat_4": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1631705391,
+        "narHash": "sha256-PzP6vikNJZiS7yANC6sZWQlIDf4E2MTckvAsJxwV0DQ=",
+        "owner": "teto",
+        "repo": "flake-compat",
+        "rev": "8e15c6e3c0f15d0687a2ab6ae92cc7fab896bfed",
+        "type": "github"
+      },
+      "original": {
+        "owner": "teto",
+        "ref": "support-packages",
+        "repo": "flake-compat",
+        "type": "github"
+      }
+    },
+    "flake-compat_5": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1627913399,
+        "narHash": "sha256-hY8g6H2KFL8ownSiFeMOjwPC8P0ueXpCVEbxgda3pko=",
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "rev": "12c64ca55c1014cdc1b16ed5a804aa8576601ff2",
+        "type": "github"
+      },
+      "original": {
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "type": "github"
+      }
+    },
+    "flake-compat_6": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1627913399,
+        "narHash": "sha256-hY8g6H2KFL8ownSiFeMOjwPC8P0ueXpCVEbxgda3pko=",
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "rev": "12c64ca55c1014cdc1b16ed5a804aa8576601ff2",
+        "type": "github"
+      },
+      "original": {
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "type": "github"
+      }
+    },
+    "flake-utils": {
+      "locked": {
+        "lastModified": 1659877975,
+        "narHash": "sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "c0e246b9b83f637f4681389ecabcb2681b4f3af0",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_10": {
+      "locked": {
+        "lastModified": 1629481132,
+        "narHash": "sha256-JHgasjPR0/J1J3DRm4KxM4zTyAj4IOJY8vIl75v/kPI=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "997f7efcb746a9c140ce1f13c72263189225f482",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_2": {
+      "locked": {
+        "lastModified": 1644229661,
+        "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_3": {
+      "locked": {
+        "lastModified": 1659877975,
+        "narHash": "sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "c0e246b9b83f637f4681389ecabcb2681b4f3af0",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_4": {
+      "locked": {
+        "lastModified": 1644229661,
+        "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797",
         "type": "github"
       },
       "original": {
@@ -275,11 +618,11 @@
     },
     "flake-utils_5": {
       "locked": {
-        "lastModified": 1631561581,
-        "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=",
+        "lastModified": 1659877975,
+        "narHash": "sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc=",
         "owner": "numtide",
         "repo": "flake-utils",
-        "rev": "7e5bf3925f6fbdfaf50a2a7ca0be2879c4261d19",
+        "rev": "c0e246b9b83f637f4681389ecabcb2681b4f3af0",
         "type": "github"
       },
       "original": {
@@ -290,20 +633,99 @@
     },
     "flake-utils_6": {
       "locked": {
-        "lastModified": 1629481132,
-        "narHash": "sha256-JHgasjPR0/J1J3DRm4KxM4zTyAj4IOJY8vIl75v/kPI=",
+        "lastModified": 1644229661,
+        "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=",
         "owner": "numtide",
         "repo": "flake-utils",
-        "rev": "997f7efcb746a9c140ce1f13c72263189225f482",
+        "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_7": {
+      "locked": {
+        "lastModified": 1659877975,
+        "narHash": "sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "c0e246b9b83f637f4681389ecabcb2681b4f3af0",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_8": {
+      "locked": {
+        "lastModified": 1659877975,
+        "narHash": "sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "c0e246b9b83f637f4681389ecabcb2681b4f3af0",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_9": {
+      "locked": {
+        "lastModified": 1631561581,
+        "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "7e5bf3925f6fbdfaf50a2a7ca0be2879c4261d19",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "gentle-introduction": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1652884085,
+        "narHash": "sha256-ZQDOUxZrh282STOQMJTHsH/pAQMFpO4QRDmdNHVVUCs=",
+        "owner": "phadej",
+        "repo": "gentle-introduction",
+        "rev": "949a99b4d2d8c556bdd455f0e4c4d94f0402ea63",
+        "type": "github"
+      },
+      "original": {
+        "owner": "phadej",
+        "repo": "gentle-introduction",
+        "rev": "949a99b4d2d8c556bdd455f0e4c4d94f0402ea63",
+        "type": "github"
+      }
+    },
+    "gentle-introduction_2": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1652884085,
+        "narHash": "sha256-ZQDOUxZrh282STOQMJTHsH/pAQMFpO4QRDmdNHVVUCs=",
+        "owner": "phadej",
+        "repo": "gentle-introduction",
+        "rev": "949a99b4d2d8c556bdd455f0e4c4d94f0402ea63",
         "type": "github"
       },
       "original": {
-        "owner": "numtide",
-        "repo": "flake-utils",
+        "owner": "phadej",
+        "repo": "gentle-introduction",
+        "rev": "949a99b4d2d8c556bdd455f0e4c4d94f0402ea63",
         "type": "github"
       }
     },
-    "gentle-introduction": {
+    "gentle-introduction_3": {
       "flake": false,
       "locked": {
         "lastModified": 1652884085,
@@ -337,6 +759,40 @@
         "type": "github"
       }
     },
+    "ghc-8.6.5-iohk_2": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1600920045,
+        "narHash": "sha256-DO6kxJz248djebZLpSzTGD6s8WRpNI9BTwUeOf5RwY8=",
+        "owner": "input-output-hk",
+        "repo": "ghc",
+        "rev": "95713a6ecce4551240da7c96b6176f980af75cae",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "ref": "release/8.6.5-iohk",
+        "repo": "ghc",
+        "type": "github"
+      }
+    },
+    "ghc-8.6.5-iohk_3": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1600920045,
+        "narHash": "sha256-DO6kxJz248djebZLpSzTGD6s8WRpNI9BTwUeOf5RwY8=",
+        "owner": "input-output-hk",
+        "repo": "ghc",
+        "rev": "95713a6ecce4551240da7c96b6176f980af75cae",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "ref": "release/8.6.5-iohk",
+        "repo": "ghc",
+        "type": "github"
+      }
+    },
     "ghcid": {
       "flake": false,
       "locked": {
@@ -353,6 +809,38 @@
         "type": "github"
       }
     },
+    "ghcid_2": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1648294714,
+        "narHash": "sha256-u+thoDJf+Aga2PK0h5ACJ3vwn4TPhrDOwb9kgFIBVWw=",
+        "owner": "ndmitchell",
+        "repo": "ghcid",
+        "rev": "f48626bf5b64067a84b644bcc56afac686046966",
+        "type": "github"
+      },
+      "original": {
+        "owner": "ndmitchell",
+        "repo": "ghcid",
+        "type": "github"
+      }
+    },
+    "ghcid_3": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1648294714,
+        "narHash": "sha256-u+thoDJf+Aga2PK0h5ACJ3vwn4TPhrDOwb9kgFIBVWw=",
+        "owner": "ndmitchell",
+        "repo": "ghcid",
+        "rev": "f48626bf5b64067a84b644bcc56afac686046966",
+        "type": "github"
+      },
+      "original": {
+        "owner": "ndmitchell",
+        "repo": "ghcid",
+        "type": "github"
+      }
+    },
     "gitignore": {
       "flake": false,
       "locked": {
@@ -385,46 +873,281 @@
         "type": "github"
       }
     },
+    "hackage_2": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1657588428,
+        "narHash": "sha256-uPH+NzcuPgkNdDAbxZiWZDUK2RQQhs1b/Y4Sv2KEDJc=",
+        "owner": "input-output-hk",
+        "repo": "hackage.nix",
+        "rev": "f596b29505d4a1b5d561c7c270a9c3b147534468",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "hackage.nix",
+        "type": "github"
+      }
+    },
+    "hackage_3": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1657588428,
+        "narHash": "sha256-uPH+NzcuPgkNdDAbxZiWZDUK2RQQhs1b/Y4Sv2KEDJc=",
+        "owner": "input-output-hk",
+        "repo": "hackage.nix",
+        "rev": "f596b29505d4a1b5d561c7c270a9c3b147534468",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "hackage.nix",
+        "type": "github"
+      }
+    },
     "haskell-language-server": {
       "flake": false,
       "locked": {
-        "lastModified": 1657513475,
-        "narHash": "sha256-7g/R1o/5UIBnpYykE/Vw5HsyDrwX5K6Gs9hyUxpgUgQ=",
-        "owner": "haskell",
-        "repo": "haskell-language-server",
-        "rev": "445192e21daa4f4973e60a13e748ffa910819e79",
+        "lastModified": 1657513475,
+        "narHash": "sha256-7g/R1o/5UIBnpYykE/Vw5HsyDrwX5K6Gs9hyUxpgUgQ=",
+        "owner": "haskell",
+        "repo": "haskell-language-server",
+        "rev": "445192e21daa4f4973e60a13e748ffa910819e79",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell",
+        "repo": "haskell-language-server",
+        "type": "github"
+      }
+    },
+    "haskell-language-server_2": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1657513475,
+        "narHash": "sha256-7g/R1o/5UIBnpYykE/Vw5HsyDrwX5K6Gs9hyUxpgUgQ=",
+        "owner": "haskell",
+        "repo": "haskell-language-server",
+        "rev": "445192e21daa4f4973e60a13e748ffa910819e79",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell",
+        "repo": "haskell-language-server",
+        "type": "github"
+      }
+    },
+    "haskell-language-server_3": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1657513475,
+        "narHash": "sha256-7g/R1o/5UIBnpYykE/Vw5HsyDrwX5K6Gs9hyUxpgUgQ=",
+        "owner": "haskell",
+        "repo": "haskell-language-server",
+        "rev": "445192e21daa4f4973e60a13e748ffa910819e79",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell",
+        "repo": "haskell-language-server",
+        "type": "github"
+      }
+    },
+    "haskell-nix": {
+      "inputs": {
+        "HTTP": "HTTP",
+        "cabal-32": "cabal-32",
+        "cabal-34": "cabal-34",
+        "cabal-36": "cabal-36",
+        "cardano-shell": "cardano-shell",
+        "flake-utils": "flake-utils_2",
+        "ghc-8.6.5-iohk": "ghc-8.6.5-iohk",
+        "hackage": "hackage",
+        "hpc-coveralls": "hpc-coveralls",
+        "hydra": "hydra",
+        "nix-tools": "nix-tools",
+        "nixpkgs": [
+          "haskell-nix-utils",
+          "haskell-nix",
+          "nixpkgs-unstable"
+        ],
+        "nixpkgs-2003": "nixpkgs-2003",
+        "nixpkgs-2105": "nixpkgs-2105",
+        "nixpkgs-2111": "nixpkgs-2111",
+        "nixpkgs-unstable": "nixpkgs-unstable",
+        "old-ghc-nix": "old-ghc-nix",
+        "stackage": "stackage"
+      },
+      "locked": {
+        "lastModified": 1657588997,
+        "narHash": "sha256-H4tJEWdaYsZqDUn+VYotVVHwSaQR7IVZMPPfGzPrGA4=",
+        "owner": "input-output-hk",
+        "repo": "haskell.nix",
+        "rev": "66ae51e640c624519ba1bb1559a9ef2deccd9726",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "haskell.nix",
+        "type": "github"
+      }
+    },
+    "haskell-nix-utils": {
+      "inputs": {
+        "cabal-extras": "cabal-extras",
+        "cabal-fmt": "cabal-fmt",
+        "ekg-json": "ekg-json",
+        "eventlog2html": "eventlog2html",
+        "gentle-introduction": "gentle-introduction",
+        "ghcid": "ghcid",
+        "haskell-language-server": "haskell-language-server",
+        "haskell-nix": "haskell-nix",
+        "hindent": "hindent",
+        "hooglite": "hooglite",
+        "pointfree": "pointfree",
+        "warp-wo-x509": "warp-wo-x509",
+        "weeder": "weeder"
+      },
+      "locked": {
+        "lastModified": 1657624578,
+        "narHash": "sha256-PFBuj0uJWGkCa70C9smsF51qu4EexTNVZSrBPjQ5rho=",
+        "owner": "TerrorJack",
+        "repo": "haskell-nix-utils",
+        "rev": "f6fafb5f7ad7ab100bc897e9a278caabab38505d",
+        "type": "github"
+      },
+      "original": {
+        "owner": "TerrorJack",
+        "repo": "haskell-nix-utils",
+        "type": "github"
+      }
+    },
+    "haskell-nix-utils_2": {
+      "inputs": {
+        "cabal-extras": "cabal-extras_2",
+        "cabal-fmt": "cabal-fmt_2",
+        "ekg-json": "ekg-json_2",
+        "eventlog2html": "eventlog2html_2",
+        "gentle-introduction": "gentle-introduction_2",
+        "ghcid": "ghcid_2",
+        "haskell-language-server": "haskell-language-server_2",
+        "haskell-nix": "haskell-nix_2",
+        "hindent": "hindent_2",
+        "hooglite": "hooglite_2",
+        "pointfree": "pointfree_2",
+        "warp-wo-x509": "warp-wo-x509_2",
+        "weeder": "weeder_2"
+      },
+      "locked": {
+        "lastModified": 1657624578,
+        "narHash": "sha256-PFBuj0uJWGkCa70C9smsF51qu4EexTNVZSrBPjQ5rho=",
+        "owner": "TerrorJack",
+        "repo": "haskell-nix-utils",
+        "rev": "f6fafb5f7ad7ab100bc897e9a278caabab38505d",
+        "type": "github"
+      },
+      "original": {
+        "owner": "TerrorJack",
+        "repo": "haskell-nix-utils",
+        "type": "github"
+      }
+    },
+    "haskell-nix-utils_3": {
+      "inputs": {
+        "cabal-extras": "cabal-extras_3",
+        "cabal-fmt": "cabal-fmt_3",
+        "ekg-json": "ekg-json_3",
+        "eventlog2html": "eventlog2html_3",
+        "gentle-introduction": "gentle-introduction_3",
+        "ghcid": "ghcid_3",
+        "haskell-language-server": "haskell-language-server_3",
+        "haskell-nix": "haskell-nix_3",
+        "hindent": "hindent_3",
+        "hooglite": "hooglite_3",
+        "pointfree": "pointfree_3",
+        "warp-wo-x509": "warp-wo-x509_3",
+        "weeder": "weeder_3"
+      },
+      "locked": {
+        "lastModified": 1657624578,
+        "narHash": "sha256-PFBuj0uJWGkCa70C9smsF51qu4EexTNVZSrBPjQ5rho=",
+        "owner": "TerrorJack",
+        "repo": "haskell-nix-utils",
+        "rev": "f6fafb5f7ad7ab100bc897e9a278caabab38505d",
+        "type": "github"
+      },
+      "original": {
+        "owner": "TerrorJack",
+        "repo": "haskell-nix-utils",
+        "type": "github"
+      }
+    },
+    "haskell-nix_2": {
+      "inputs": {
+        "HTTP": "HTTP_2",
+        "cabal-32": "cabal-32_2",
+        "cabal-34": "cabal-34_2",
+        "cabal-36": "cabal-36_2",
+        "cardano-shell": "cardano-shell_2",
+        "flake-utils": "flake-utils_4",
+        "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_2",
+        "hackage": "hackage_2",
+        "hpc-coveralls": "hpc-coveralls_2",
+        "hydra": "hydra_2",
+        "nix-tools": "nix-tools_2",
+        "nixpkgs": [
+          "jupyter-flake",
+          "haskell-nix-utils",
+          "haskell-nix",
+          "nixpkgs-unstable"
+        ],
+        "nixpkgs-2003": "nixpkgs-2003_2",
+        "nixpkgs-2105": "nixpkgs-2105_2",
+        "nixpkgs-2111": "nixpkgs-2111_2",
+        "nixpkgs-unstable": "nixpkgs-unstable_2",
+        "old-ghc-nix": "old-ghc-nix_2",
+        "stackage": "stackage_2"
+      },
+      "locked": {
+        "lastModified": 1657588997,
+        "narHash": "sha256-H4tJEWdaYsZqDUn+VYotVVHwSaQR7IVZMPPfGzPrGA4=",
+        "owner": "input-output-hk",
+        "repo": "haskell.nix",
+        "rev": "66ae51e640c624519ba1bb1559a9ef2deccd9726",
         "type": "github"
       },
       "original": {
-        "owner": "haskell",
-        "repo": "haskell-language-server",
+        "owner": "input-output-hk",
+        "repo": "haskell.nix",
         "type": "github"
       }
     },
-    "haskell-nix": {
+    "haskell-nix_3": {
       "inputs": {
-        "HTTP": "HTTP",
-        "cabal-32": "cabal-32",
-        "cabal-34": "cabal-34",
-        "cabal-36": "cabal-36",
-        "cardano-shell": "cardano-shell",
-        "flake-utils": "flake-utils_2",
-        "ghc-8.6.5-iohk": "ghc-8.6.5-iohk",
-        "hackage": "hackage",
-        "hpc-coveralls": "hpc-coveralls",
-        "hydra": "hydra",
-        "nix-tools": "nix-tools",
+        "HTTP": "HTTP_3",
+        "cabal-32": "cabal-32_3",
+        "cabal-34": "cabal-34_3",
+        "cabal-36": "cabal-36_3",
+        "cardano-shell": "cardano-shell_3",
+        "flake-utils": "flake-utils_6",
+        "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_3",
+        "hackage": "hackage_3",
+        "hpc-coveralls": "hpc-coveralls_3",
+        "hydra": "hydra_3",
+        "nix-tools": "nix-tools_3",
         "nixpkgs": [
+          "jupyter-flake",
+          "jupyter-flake",
           "haskell-nix-utils",
           "haskell-nix",
           "nixpkgs-unstable"
         ],
-        "nixpkgs-2003": "nixpkgs-2003",
-        "nixpkgs-2105": "nixpkgs-2105",
-        "nixpkgs-2111": "nixpkgs-2111",
-        "nixpkgs-unstable": "nixpkgs-unstable",
-        "old-ghc-nix": "old-ghc-nix",
-        "stackage": "stackage"
+        "nixpkgs-2003": "nixpkgs-2003_3",
+        "nixpkgs-2105": "nixpkgs-2105_3",
+        "nixpkgs-2111": "nixpkgs-2111_3",
+        "nixpkgs-unstable": "nixpkgs-unstable_3",
+        "old-ghc-nix": "old-ghc-nix_3",
+        "stackage": "stackage_3"
       },
       "locked": {
         "lastModified": 1657588997,
@@ -440,37 +1163,39 @@
         "type": "github"
       }
     },
-    "haskell-nix-utils": {
-      "inputs": {
-        "cabal-extras": "cabal-extras",
-        "cabal-fmt": "cabal-fmt",
-        "ekg-json": "ekg-json",
-        "eventlog2html": "eventlog2html",
-        "gentle-introduction": "gentle-introduction",
-        "ghcid": "ghcid",
-        "haskell-language-server": "haskell-language-server",
-        "haskell-nix": "haskell-nix",
-        "hindent": "hindent",
-        "hooglite": "hooglite",
-        "pointfree": "pointfree",
-        "warp-wo-x509": "warp-wo-x509",
-        "weeder": "weeder"
+    "hindent": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1656218644,
+        "narHash": "sha256-+RrB/7Ql7wj/wPePgSoaygEgNdehEh44M71ZILeSVTo=",
+        "owner": "mihaimaruseac",
+        "repo": "hindent",
+        "rev": "4c2ea034f4365cd784539f223282907c9e734fba",
+        "type": "github"
       },
+      "original": {
+        "owner": "mihaimaruseac",
+        "repo": "hindent",
+        "type": "github"
+      }
+    },
+    "hindent_2": {
+      "flake": false,
       "locked": {
-        "lastModified": 1657624578,
-        "narHash": "sha256-PFBuj0uJWGkCa70C9smsF51qu4EexTNVZSrBPjQ5rho=",
-        "owner": "TerrorJack",
-        "repo": "haskell-nix-utils",
-        "rev": "f6fafb5f7ad7ab100bc897e9a278caabab38505d",
+        "lastModified": 1656218644,
+        "narHash": "sha256-+RrB/7Ql7wj/wPePgSoaygEgNdehEh44M71ZILeSVTo=",
+        "owner": "mihaimaruseac",
+        "repo": "hindent",
+        "rev": "4c2ea034f4365cd784539f223282907c9e734fba",
         "type": "github"
       },
       "original": {
-        "owner": "TerrorJack",
-        "repo": "haskell-nix-utils",
+        "owner": "mihaimaruseac",
+        "repo": "hindent",
         "type": "github"
       }
     },
-    "hindent": {
+    "hindent_3": {
       "flake": false,
       "locked": {
         "lastModified": 1656218644,
@@ -488,10 +1213,10 @@
     },
     "hls": {
       "inputs": {
-        "flake-compat": "flake-compat_4",
-        "flake-utils": "flake-utils_6",
+        "flake-compat": "flake-compat_6",
+        "flake-utils": "flake-utils_10",
         "gitignore": "gitignore",
-        "nixpkgs": "nixpkgs_2",
+        "nixpkgs": "nixpkgs_4",
         "pre-commit-hooks": "pre-commit-hooks"
       },
       "locked": {
@@ -525,6 +1250,40 @@
         "type": "github"
       }
     },
+    "hooglite_2": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1640807650,
+        "narHash": "sha256-awshX2MluKr4AE+IcyIGujVLs9m1r8yB6+VBh8dQag8=",
+        "owner": "phadej",
+        "repo": "hooglite",
+        "rev": "18856375932f6744cac7849bd1e816538537863f",
+        "type": "github"
+      },
+      "original": {
+        "owner": "phadej",
+        "repo": "hooglite",
+        "rev": "18856375932f6744cac7849bd1e816538537863f",
+        "type": "github"
+      }
+    },
+    "hooglite_3": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1640807650,
+        "narHash": "sha256-awshX2MluKr4AE+IcyIGujVLs9m1r8yB6+VBh8dQag8=",
+        "owner": "phadej",
+        "repo": "hooglite",
+        "rev": "18856375932f6744cac7849bd1e816538537863f",
+        "type": "github"
+      },
+      "original": {
+        "owner": "phadej",
+        "repo": "hooglite",
+        "rev": "18856375932f6744cac7849bd1e816538537863f",
+        "type": "github"
+      }
+    },
     "hpc-coveralls": {
       "flake": false,
       "locked": {
@@ -541,6 +1300,38 @@
         "type": "github"
       }
     },
+    "hpc-coveralls_2": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1607498076,
+        "narHash": "sha256-8uqsEtivphgZWYeUo5RDUhp6bO9j2vaaProQxHBltQk=",
+        "owner": "sevanspowell",
+        "repo": "hpc-coveralls",
+        "rev": "14df0f7d229f4cd2e79f8eabb1a740097fdfa430",
+        "type": "github"
+      },
+      "original": {
+        "owner": "sevanspowell",
+        "repo": "hpc-coveralls",
+        "type": "github"
+      }
+    },
+    "hpc-coveralls_3": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1607498076,
+        "narHash": "sha256-8uqsEtivphgZWYeUo5RDUhp6bO9j2vaaProQxHBltQk=",
+        "owner": "sevanspowell",
+        "repo": "hpc-coveralls",
+        "rev": "14df0f7d229f4cd2e79f8eabb1a740097fdfa430",
+        "type": "github"
+      },
+      "original": {
+        "owner": "sevanspowell",
+        "repo": "hpc-coveralls",
+        "type": "github"
+      }
+    },
     "hydra": {
       "inputs": {
         "nix": "nix",
@@ -565,12 +1356,63 @@
         "type": "indirect"
       }
     },
+    "hydra_2": {
+      "inputs": {
+        "nix": "nix_2",
+        "nixpkgs": [
+          "jupyter-flake",
+          "haskell-nix-utils",
+          "haskell-nix",
+          "hydra",
+          "nix",
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1646878427,
+        "narHash": "sha256-KtbrofMtN8GlM7D+n90kixr7QpSlVmdN+vK5CA/aRzc=",
+        "owner": "NixOS",
+        "repo": "hydra",
+        "rev": "28b682b85b7efc5cf7974065792a1f22203a5927",
+        "type": "github"
+      },
+      "original": {
+        "id": "hydra",
+        "type": "indirect"
+      }
+    },
+    "hydra_3": {
+      "inputs": {
+        "nix": "nix_3",
+        "nixpkgs": [
+          "jupyter-flake",
+          "jupyter-flake",
+          "haskell-nix-utils",
+          "haskell-nix",
+          "hydra",
+          "nix",
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1646878427,
+        "narHash": "sha256-KtbrofMtN8GlM7D+n90kixr7QpSlVmdN+vK5CA/aRzc=",
+        "owner": "NixOS",
+        "repo": "hydra",
+        "rev": "28b682b85b7efc5cf7974065792a1f22203a5927",
+        "type": "github"
+      },
+      "original": {
+        "id": "hydra",
+        "type": "indirect"
+      }
+    },
     "ihaskell": {
       "inputs": {
-        "flake-compat": "flake-compat_3",
-        "flake-utils": "flake-utils_5",
+        "flake-compat": "flake-compat_5",
+        "flake-utils": "flake-utils_9",
         "hls": "hls",
-        "nixpkgs": "nixpkgs_3"
+        "nixpkgs": "nixpkgs_5"
       },
       "locked": {
         "lastModified": 1661486016,
@@ -588,9 +1430,57 @@
     },
     "jupyter-flake": {
       "inputs": {
+        "flake-compat": "flake-compat_2",
         "flake-utils": "flake-utils_3",
+        "haskell-nix-utils": "haskell-nix-utils_2",
+        "jupyter-flake": "jupyter-flake_2",
+        "nixpkgs": "nixpkgs_9",
+        "pre-commit-hooks": "pre-commit-hooks_3"
+      },
+      "locked": {
+        "lastModified": 1665050869,
+        "narHash": "sha256-YH+C47qTTkpObPNfG909abw5R6e2jWeVzoKHnw1yCIY=",
+        "ref": "notebooks",
+        "rev": "8c2079e33a62756d518c6d1f947b25555139188c",
+        "revCount": 986,
+        "type": "git",
+        "url": "https://github.com/tweag/monad-bayes"
+      },
+      "original": {
+        "ref": "notebooks",
+        "type": "git",
+        "url": "https://github.com/tweag/monad-bayes"
+      }
+    },
+    "jupyter-flake_2": {
+      "inputs": {
+        "flake-compat": "flake-compat_3",
+        "flake-utils": "flake-utils_5",
+        "haskell-nix-utils": "haskell-nix-utils_3",
+        "jupyter-flake": "jupyter-flake_3",
+        "nixpkgs": "nixpkgs_8",
+        "pre-commit-hooks": "pre-commit-hooks_2"
+      },
+      "locked": {
+        "lastModified": 1663963948,
+        "narHash": "sha256-GZm+g5wxtPIr2jIY8G+Ope9e5vxrfUmPEWTmlm7e7B0=",
+        "ref": "notebooks",
+        "rev": "4ef694502bf20a20790a0ad39a7db89750730dc2",
+        "revCount": 979,
+        "type": "git",
+        "url": "https://github.com/tweag/monad-bayes"
+      },
+      "original": {
+        "ref": "notebooks",
+        "type": "git",
+        "url": "https://github.com/tweag/monad-bayes"
+      }
+    },
+    "jupyter-flake_3": {
+      "inputs": {
+        "flake-utils": "flake-utils_7",
         "jupyterWith": "jupyterWith",
-        "nixpkgs": "nixpkgs_5"
+        "nixpkgs": "nixpkgs_7"
       },
       "locked": {
         "lastModified": 1661872734,
@@ -609,10 +1499,10 @@
     },
     "jupyterWith": {
       "inputs": {
-        "flake-compat": "flake-compat_2",
-        "flake-utils": "flake-utils_4",
+        "flake-compat": "flake-compat_4",
+        "flake-utils": "flake-utils_8",
         "ihaskell": "ihaskell",
-        "nixpkgs": "nixpkgs_4"
+        "nixpkgs": "nixpkgs_6"
       },
       "locked": {
         "lastModified": 1661799532,
@@ -623,12 +1513,44 @@
         "type": "github"
       },
       "original": {
-        "owner": "tweag",
-        "repo": "jupyterWith",
+        "owner": "tweag",
+        "repo": "jupyterWith",
+        "type": "github"
+      }
+    },
+    "lowdown-src": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1633514407,
+        "narHash": "sha256-Dw32tiMjdK9t3ETl5fzGrutQTzh2rufgZV4A/BbxuD4=",
+        "owner": "kristapsdz",
+        "repo": "lowdown",
+        "rev": "d2c2b44ff6c27b936ec27358a2653caaef8f73b8",
+        "type": "github"
+      },
+      "original": {
+        "owner": "kristapsdz",
+        "repo": "lowdown",
+        "type": "github"
+      }
+    },
+    "lowdown-src_2": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1633514407,
+        "narHash": "sha256-Dw32tiMjdK9t3ETl5fzGrutQTzh2rufgZV4A/BbxuD4=",
+        "owner": "kristapsdz",
+        "repo": "lowdown",
+        "rev": "d2c2b44ff6c27b936ec27358a2653caaef8f73b8",
+        "type": "github"
+      },
+      "original": {
+        "owner": "kristapsdz",
+        "repo": "lowdown",
         "type": "github"
       }
     },
-    "lowdown-src": {
+    "lowdown-src_3": {
       "flake": false,
       "locked": {
         "lastModified": 1633514407,
@@ -681,6 +1603,80 @@
         "type": "github"
       }
     },
+    "nix-tools_2": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1649424170,
+        "narHash": "sha256-XgKXWispvv5RCvZzPb+p7e6Hy3LMuRjafKMl7kXzxGw=",
+        "owner": "input-output-hk",
+        "repo": "nix-tools",
+        "rev": "e109c94016e3b6e0db7ed413c793e2d4bdb24aa7",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "nix-tools",
+        "type": "github"
+      }
+    },
+    "nix-tools_3": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1649424170,
+        "narHash": "sha256-XgKXWispvv5RCvZzPb+p7e6Hy3LMuRjafKMl7kXzxGw=",
+        "owner": "input-output-hk",
+        "repo": "nix-tools",
+        "rev": "e109c94016e3b6e0db7ed413c793e2d4bdb24aa7",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "nix-tools",
+        "type": "github"
+      }
+    },
+    "nix_2": {
+      "inputs": {
+        "lowdown-src": "lowdown-src_2",
+        "nixpkgs": "nixpkgs_2",
+        "nixpkgs-regression": "nixpkgs-regression_2"
+      },
+      "locked": {
+        "lastModified": 1643066034,
+        "narHash": "sha256-xEPeMcNJVOeZtoN+d+aRwolpW8mFSEQx76HTRdlhPhg=",
+        "owner": "NixOS",
+        "repo": "nix",
+        "rev": "a1cd7e58606a41fcf62bf8637804cf8306f17f62",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "2.6.0",
+        "repo": "nix",
+        "type": "github"
+      }
+    },
+    "nix_3": {
+      "inputs": {
+        "lowdown-src": "lowdown-src_3",
+        "nixpkgs": "nixpkgs_3",
+        "nixpkgs-regression": "nixpkgs-regression_3"
+      },
+      "locked": {
+        "lastModified": 1643066034,
+        "narHash": "sha256-xEPeMcNJVOeZtoN+d+aRwolpW8mFSEQx76HTRdlhPhg=",
+        "owner": "NixOS",
+        "repo": "nix",
+        "rev": "a1cd7e58606a41fcf62bf8637804cf8306f17f62",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "2.6.0",
+        "repo": "nix",
+        "type": "github"
+      }
+    },
     "nixpkgs": {
       "locked": {
         "lastModified": 1632864508,
@@ -712,6 +1708,38 @@
         "type": "github"
       }
     },
+    "nixpkgs-2003_2": {
+      "locked": {
+        "lastModified": 1620055814,
+        "narHash": "sha256-8LEHoYSJiL901bTMVatq+rf8y7QtWuZhwwpKE2fyaRY=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "1db42b7fe3878f3f5f7a4f2dc210772fd080e205",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-20.03-darwin",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "nixpkgs-2003_3": {
+      "locked": {
+        "lastModified": 1620055814,
+        "narHash": "sha256-8LEHoYSJiL901bTMVatq+rf8y7QtWuZhwwpKE2fyaRY=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "1db42b7fe3878f3f5f7a4f2dc210772fd080e205",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-20.03-darwin",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
     "nixpkgs-2105": {
       "locked": {
         "lastModified": 1645296114,
@@ -728,54 +1756,225 @@
         "type": "github"
       }
     },
+    "nixpkgs-2105_2": {
+      "locked": {
+        "lastModified": 1645296114,
+        "narHash": "sha256-y53N7TyIkXsjMpOG7RhvqJFGDacLs9HlyHeSTBioqYU=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "530a53dcbc9437363471167a5e4762c5fcfa34a1",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-21.05-darwin",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "nixpkgs-2105_3": {
+      "locked": {
+        "lastModified": 1645296114,
+        "narHash": "sha256-y53N7TyIkXsjMpOG7RhvqJFGDacLs9HlyHeSTBioqYU=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "530a53dcbc9437363471167a5e4762c5fcfa34a1",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-21.05-darwin",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
     "nixpkgs-2111": {
       "locked": {
         "lastModified": 1648744337,
         "narHash": "sha256-bYe1dFJAXovjqiaPKrmAbSBEK5KUkgwVaZcTbSoJ7hg=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "0a58eebd8ec65ffdef2ce9562784123a73922052",
+        "rev": "0a58eebd8ec65ffdef2ce9562784123a73922052",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-21.11-darwin",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "nixpkgs-2111_2": {
+      "locked": {
+        "lastModified": 1648744337,
+        "narHash": "sha256-bYe1dFJAXovjqiaPKrmAbSBEK5KUkgwVaZcTbSoJ7hg=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "0a58eebd8ec65ffdef2ce9562784123a73922052",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-21.11-darwin",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "nixpkgs-2111_3": {
+      "locked": {
+        "lastModified": 1648744337,
+        "narHash": "sha256-bYe1dFJAXovjqiaPKrmAbSBEK5KUkgwVaZcTbSoJ7hg=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "0a58eebd8ec65ffdef2ce9562784123a73922052",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-21.11-darwin",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "nixpkgs-regression": {
+      "locked": {
+        "lastModified": 1643052045,
+        "narHash": "sha256-uGJ0VXIhWKGXxkeNnq4TvV3CIOkUJ3PAoLZ3HMzNVMw=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "215d4d0fd80ca5163643b03a33fde804a29cc1e2",
+        "type": "github"
+      },
+      "original": {
+        "id": "nixpkgs",
+        "rev": "215d4d0fd80ca5163643b03a33fde804a29cc1e2",
+        "type": "indirect"
+      }
+    },
+    "nixpkgs-regression_2": {
+      "locked": {
+        "lastModified": 1643052045,
+        "narHash": "sha256-uGJ0VXIhWKGXxkeNnq4TvV3CIOkUJ3PAoLZ3HMzNVMw=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "215d4d0fd80ca5163643b03a33fde804a29cc1e2",
+        "type": "github"
+      },
+      "original": {
+        "id": "nixpkgs",
+        "rev": "215d4d0fd80ca5163643b03a33fde804a29cc1e2",
+        "type": "indirect"
+      }
+    },
+    "nixpkgs-regression_3": {
+      "locked": {
+        "lastModified": 1643052045,
+        "narHash": "sha256-uGJ0VXIhWKGXxkeNnq4TvV3CIOkUJ3PAoLZ3HMzNVMw=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "215d4d0fd80ca5163643b03a33fde804a29cc1e2",
+        "type": "github"
+      },
+      "original": {
+        "id": "nixpkgs",
+        "rev": "215d4d0fd80ca5163643b03a33fde804a29cc1e2",
+        "type": "indirect"
+      }
+    },
+    "nixpkgs-unstable": {
+      "locked": {
+        "lastModified": 1648219316,
+        "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "30d3d79b7d3607d56546dd2a6b49e156ba0ec634",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-unstable",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "nixpkgs-unstable_2": {
+      "locked": {
+        "lastModified": 1648219316,
+        "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "30d3d79b7d3607d56546dd2a6b49e156ba0ec634",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-unstable",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "nixpkgs-unstable_3": {
+      "locked": {
+        "lastModified": 1648219316,
+        "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "30d3d79b7d3607d56546dd2a6b49e156ba0ec634",
         "type": "github"
       },
       "original": {
         "owner": "NixOS",
-        "ref": "nixpkgs-21.11-darwin",
+        "ref": "nixpkgs-unstable",
         "repo": "nixpkgs",
         "type": "github"
       }
     },
-    "nixpkgs-regression": {
+    "nixpkgs_10": {
       "locked": {
-        "lastModified": 1643052045,
-        "narHash": "sha256-uGJ0VXIhWKGXxkeNnq4TvV3CIOkUJ3PAoLZ3HMzNVMw=",
+        "lastModified": 1664871473,
+        "narHash": "sha256-1LzbW6G6Uz8akWiOdlIi435GAm1ct5jF5tovw/9to0o=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "215d4d0fd80ca5163643b03a33fde804a29cc1e2",
+        "rev": "b7a6fde153d9470afdb6aa1da51c4117f03b84ed",
         "type": "github"
       },
       "original": {
         "id": "nixpkgs",
-        "rev": "215d4d0fd80ca5163643b03a33fde804a29cc1e2",
+        "ref": "nixos-unstable",
         "type": "indirect"
       }
     },
-    "nixpkgs-unstable": {
+    "nixpkgs_2": {
       "locked": {
-        "lastModified": 1648219316,
-        "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=",
+        "lastModified": 1632864508,
+        "narHash": "sha256-d127FIvGR41XbVRDPVvozUPQ/uRHbHwvfyKHwEt5xFM=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "30d3d79b7d3607d56546dd2a6b49e156ba0ec634",
+        "rev": "82891b5e2c2359d7e58d08849e4c89511ab94234",
         "type": "github"
       },
       "original": {
+        "id": "nixpkgs",
+        "ref": "nixos-21.05-small",
+        "type": "indirect"
+      }
+    },
+    "nixpkgs_3": {
+      "locked": {
+        "lastModified": 1632864508,
+        "narHash": "sha256-d127FIvGR41XbVRDPVvozUPQ/uRHbHwvfyKHwEt5xFM=",
         "owner": "NixOS",
-        "ref": "nixpkgs-unstable",
         "repo": "nixpkgs",
+        "rev": "82891b5e2c2359d7e58d08849e4c89511ab94234",
         "type": "github"
+      },
+      "original": {
+        "id": "nixpkgs",
+        "ref": "nixos-21.05-small",
+        "type": "indirect"
       }
     },
-    "nixpkgs_2": {
+    "nixpkgs_4": {
       "locked": {
         "lastModified": 1630887066,
         "narHash": "sha256-0ecIlrLsNIIa+zrNmzXXmbMBLZlmHU/aWFsa4bq99Hk=",
@@ -791,7 +1990,7 @@
         "type": "github"
       }
     },
-    "nixpkgs_3": {
+    "nixpkgs_5": {
       "locked": {
         "lastModified": 1634515797,
         "narHash": "sha256-elgCUC2khtBkOSpE4gDymNvthTZAI4hGI2iNu3YEUkA=",
@@ -807,7 +2006,7 @@
         "type": "github"
       }
     },
-    "nixpkgs_4": {
+    "nixpkgs_6": {
       "locked": {
         "lastModified": 1659446231,
         "narHash": "sha256-hekabNdTdgR/iLsgce5TGWmfIDZ86qjPhxDg/8TlzhE=",
@@ -823,7 +2022,7 @@
         "type": "github"
       }
     },
-    "nixpkgs_5": {
+    "nixpkgs_7": {
       "locked": {
         "lastModified": 1653936696,
         "narHash": "sha256-M6bJShji9AIDZ7Kh7CPwPBPb/T7RiVev2PAcOi4fxDQ=",
@@ -838,7 +2037,7 @@
         "type": "indirect"
       }
     },
-    "nixpkgs_6": {
+    "nixpkgs_8": {
       "locked": {
         "lastModified": 1662019588,
         "narHash": "sha256-oPEjHKGGVbBXqwwL+UjsveJzghWiWV0n9ogo1X6l4cw=",
@@ -853,6 +2052,21 @@
         "type": "indirect"
       }
     },
+    "nixpkgs_9": {
+      "locked": {
+        "lastModified": 1664538465,
+        "narHash": "sha256-EnlC7dDKX7X1wlnXkB1gmn9rBZQ0J9+biVTZHw//8us=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "10ecda252ce1b3b1d6403caeadbcc8f30d5ab796",
+        "type": "github"
+      },
+      "original": {
+        "id": "nixpkgs",
+        "ref": "nixos-unstable",
+        "type": "indirect"
+      }
+    },
     "old-ghc-nix": {
       "flake": false,
       "locked": {
@@ -870,6 +2084,40 @@
         "type": "github"
       }
     },
+    "old-ghc-nix_2": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1631092763,
+        "narHash": "sha256-sIKgO+z7tj4lw3u6oBZxqIhDrzSkvpHtv0Kki+lh9Fg=",
+        "owner": "angerman",
+        "repo": "old-ghc-nix",
+        "rev": "af48a7a7353e418119b6dfe3cd1463a657f342b8",
+        "type": "github"
+      },
+      "original": {
+        "owner": "angerman",
+        "ref": "master",
+        "repo": "old-ghc-nix",
+        "type": "github"
+      }
+    },
+    "old-ghc-nix_3": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1631092763,
+        "narHash": "sha256-sIKgO+z7tj4lw3u6oBZxqIhDrzSkvpHtv0Kki+lh9Fg=",
+        "owner": "angerman",
+        "repo": "old-ghc-nix",
+        "rev": "af48a7a7353e418119b6dfe3cd1463a657f342b8",
+        "type": "github"
+      },
+      "original": {
+        "owner": "angerman",
+        "ref": "master",
+        "repo": "old-ghc-nix",
+        "type": "github"
+      }
+    },
     "pointfree": {
       "flake": false,
       "locked": {
@@ -886,9 +2134,43 @@
         "type": "github"
       }
     },
+    "pointfree_2": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1618073819,
+        "narHash": "sha256-Jdroo9fI47DQq/fcn/horjePVPbluPZIpr+rOBue7pk=",
+        "owner": "bmillwood",
+        "repo": "pointfree",
+        "rev": "2fb1b2e1a48b7297b4f157eb4f3085ad6fa40443",
+        "type": "github"
+      },
+      "original": {
+        "owner": "bmillwood",
+        "repo": "pointfree",
+        "type": "github"
+      }
+    },
+    "pointfree_3": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1618073819,
+        "narHash": "sha256-Jdroo9fI47DQq/fcn/horjePVPbluPZIpr+rOBue7pk=",
+        "owner": "bmillwood",
+        "repo": "pointfree",
+        "rev": "2fb1b2e1a48b7297b4f157eb4f3085ad6fa40443",
+        "type": "github"
+      },
+      "original": {
+        "owner": "bmillwood",
+        "repo": "pointfree",
+        "type": "github"
+      }
+    },
     "pre-commit-hooks": {
       "inputs": {
         "flake-utils": [
+          "jupyter-flake",
+          "jupyter-flake",
           "jupyter-flake",
           "jupyterWith",
           "ihaskell",
@@ -896,6 +2178,8 @@
           "flake-utils"
         ],
         "nixpkgs": [
+          "jupyter-flake",
+          "jupyter-flake",
           "jupyter-flake",
           "jupyterWith",
           "ihaskell",
@@ -920,9 +2204,13 @@
     "pre-commit-hooks_2": {
       "inputs": {
         "flake-utils": [
+          "jupyter-flake",
+          "jupyter-flake",
           "flake-utils"
         ],
         "nixpkgs": [
+          "jupyter-flake",
+          "jupyter-flake",
           "nixpkgs"
         ]
       },
@@ -940,14 +2228,62 @@
         "type": "github"
       }
     },
+    "pre-commit-hooks_3": {
+      "inputs": {
+        "flake-utils": [
+          "jupyter-flake",
+          "flake-utils"
+        ],
+        "nixpkgs": [
+          "jupyter-flake",
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1664573419,
+        "narHash": "sha256-bVjsFPOF4t5/G9ir/qNqmQWxRKooG86ctOH78yaarkc=",
+        "owner": "cachix",
+        "repo": "pre-commit-hooks.nix",
+        "rev": "2a4f1cfaa01b8b31edc7d3004454c4a0c38d50d8",
+        "type": "github"
+      },
+      "original": {
+        "owner": "cachix",
+        "repo": "pre-commit-hooks.nix",
+        "type": "github"
+      }
+    },
+    "pre-commit-hooks_4": {
+      "inputs": {
+        "flake-utils": [
+          "flake-utils"
+        ],
+        "nixpkgs": [
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1664708386,
+        "narHash": "sha256-aCD8UUGNYb5nYzRmtsq/0yP9gFOQQHr/Lsb5vW+mucw=",
+        "owner": "cachix",
+        "repo": "pre-commit-hooks.nix",
+        "rev": "2e4a708918e14fdbd534cc94aaa9470cd19b2464",
+        "type": "github"
+      },
+      "original": {
+        "owner": "cachix",
+        "repo": "pre-commit-hooks.nix",
+        "type": "github"
+      }
+    },
     "root": {
       "inputs": {
         "flake-compat": "flake-compat",
         "flake-utils": "flake-utils",
         "haskell-nix-utils": "haskell-nix-utils",
         "jupyter-flake": "jupyter-flake",
-        "nixpkgs": "nixpkgs_6",
-        "pre-commit-hooks": "pre-commit-hooks_2"
+        "nixpkgs": "nixpkgs_10",
+        "pre-commit-hooks": "pre-commit-hooks_4"
       }
     },
     "stackage": {
@@ -966,6 +2302,38 @@
         "type": "github"
       }
     },
+    "stackage_2": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1657588524,
+        "narHash": "sha256-XFAxAa46SPmk2I5u7HCNsi6kFx2y5A5mgI8TLUFSIJ8=",
+        "owner": "input-output-hk",
+        "repo": "stackage.nix",
+        "rev": "cfa19244bdb8ac3562780a0199fccae1a9220b43",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "stackage.nix",
+        "type": "github"
+      }
+    },
+    "stackage_3": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1657588524,
+        "narHash": "sha256-XFAxAa46SPmk2I5u7HCNsi6kFx2y5A5mgI8TLUFSIJ8=",
+        "owner": "input-output-hk",
+        "repo": "stackage.nix",
+        "rev": "cfa19244bdb8ac3562780a0199fccae1a9220b43",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "stackage.nix",
+        "type": "github"
+      }
+    },
     "warp-wo-x509": {
       "flake": false,
       "locked": {
@@ -983,6 +2351,40 @@
         "type": "github"
       }
     },
+    "warp-wo-x509_2": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1636911472,
+        "narHash": "sha256-w8UWW/rOIhzDAF54RkXyb21/39GPA8trJY7U4pHppXY=",
+        "owner": "phadej",
+        "repo": "warp-wo-x509",
+        "rev": "98648f7520d228e6a14747223f0bbd68620b9318",
+        "type": "github"
+      },
+      "original": {
+        "owner": "phadej",
+        "repo": "warp-wo-x509",
+        "rev": "98648f7520d228e6a14747223f0bbd68620b9318",
+        "type": "github"
+      }
+    },
+    "warp-wo-x509_3": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1636911472,
+        "narHash": "sha256-w8UWW/rOIhzDAF54RkXyb21/39GPA8trJY7U4pHppXY=",
+        "owner": "phadej",
+        "repo": "warp-wo-x509",
+        "rev": "98648f7520d228e6a14747223f0bbd68620b9318",
+        "type": "github"
+      },
+      "original": {
+        "owner": "phadej",
+        "repo": "warp-wo-x509",
+        "rev": "98648f7520d228e6a14747223f0bbd68620b9318",
+        "type": "github"
+      }
+    },
     "weeder": {
       "flake": false,
       "locked": {
@@ -998,8 +2400,40 @@
         "repo": "weeder",
         "type": "github"
       }
+    },
+    "weeder_2": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1653221206,
+        "narHash": "sha256-aYcaFfu9ocwiSnFndfE9Ro70QDY560lrrT6w+uJY5eY=",
+        "owner": "ocharles",
+        "repo": "weeder",
+        "rev": "c58ed2a8c66dcf0b469f8343efb6b6f61c7c40f3",
+        "type": "github"
+      },
+      "original": {
+        "owner": "ocharles",
+        "repo": "weeder",
+        "type": "github"
+      }
+    },
+    "weeder_3": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1653221206,
+        "narHash": "sha256-aYcaFfu9ocwiSnFndfE9Ro70QDY560lrrT6w+uJY5eY=",
+        "owner": "ocharles",
+        "repo": "weeder",
+        "rev": "c58ed2a8c66dcf0b469f8343efb6b6f61c7c40f3",
+        "type": "github"
+      },
+      "original": {
+        "owner": "ocharles",
+        "repo": "weeder",
+        "type": "github"
+      }
     }
   },
   "root": "root",
   "version": 7
-}
\ No newline at end of file
+}
diff --git a/monad-bayes-site/_site/about.html b/monad-bayes-site/_site/about.html
index 9d3d5e8d..ec6e2c31 100644
--- a/monad-bayes-site/_site/about.html
+++ b/monad-bayes-site/_site/about.html
@@ -6,6 +6,7 @@
         <meta name="viewport" content="width=device-width, initial-scale=1">
         <title>Monad-Bayes - </title>
         <link rel="stylesheet" href="./css/default.css" />
+        <link rel="stylesheet" href="./css/syntax.css" />
     </head>
     <body>
         <header>
@@ -24,15 +25,25 @@
             <h1></h1>
             <p>Monad-Bayes is a library for <strong>probabilistic programming</strong> written in <strong>Haskell</strong>.</p>
 <p><strong>Define distributions</strong> <a href="../Introduction.html">as programs</a></p>
-<p><strong>Perform inference</strong> <a href="./tutorials.html">with a variety of standard methods, which you can extend</a></p>
-<p><strong>Integrate with arbitrary Haskell code</strong> <a href="./examples.html">like this</a> because Monad-Bayes is just a library, not a separate language</p>
+<p><strong>Perform inference</strong> <a href="./tutorials.html">with a variety of standard methods</a></p>
+<p><strong>Integrate with Haskell code</strong> <a href="./examples.html">like this</a> because Monad-Bayes is just a library, not a separate language</p>
 <!-- ```haskell
 example :: Distribution Histogram
 example = fmap histogram (replicateM 1000 (normal 0 1))
 ``` -->
 <h1 id="example">Example</h1>
-<p><img src="../images/code_example.png" width="720" height="300" /></p>
-<p><code>model</code> is a mixture of Gaussians, defined as a program. Its type <code>Distribution Double</code> shows that it is a distribution over reals. <code>image</code> is a program too: as its type shows, it is a distribution over plots. In particular, plots that arise from forming a 200 bin histogram out of 100000 iid draws from <code>model</code>. To sample from <code>image</code>, we simply write <code>sampler image</code>, with the result shown below:</p>
+<div class="sourceCode" id="cb1"><pre class="sourceCode haskell"><code class="sourceCode haskell"><span id="cb1-1"><a href="#cb1-1" aria-hidden="true" tabindex="-1"></a><span class="ot">model ::</span> <span class="dt">Distribution</span> <span class="dt">Double</span></span>
+<span id="cb1-2"><a href="#cb1-2" aria-hidden="true" tabindex="-1"></a>model <span class="ot">=</span> <span class="kw">do</span></span>
+<span id="cb1-3"><a href="#cb1-3" aria-hidden="true" tabindex="-1"></a>     x <span class="ot">&lt;-</span> bernoulli <span class="fl">0.5</span></span>
+<span id="cb1-4"><a href="#cb1-4" aria-hidden="true" tabindex="-1"></a>     normal (<span class="kw">if</span> x <span class="kw">then</span> (<span class="op">-</span><span class="dv">3</span>) <span class="kw">else</span> <span class="dv">3</span>) <span class="dv">1</span></span>
+<span id="cb1-5"><a href="#cb1-5" aria-hidden="true" tabindex="-1"></a></span>
+<span id="cb1-6"><a href="#cb1-6" aria-hidden="true" tabindex="-1"></a><span class="ot">image ::</span> <span class="dt">Distribution</span> <span class="dt">Plot</span></span>
+<span id="cb1-7"><a href="#cb1-7" aria-hidden="true" tabindex="-1"></a>image <span class="ot">=</span> <span class="fu">fmap</span> (plot <span class="op">.</span> histogram <span class="dv">200</span>) (replicateM <span class="dv">100000</span> model)</span>
+<span id="cb1-8"><a href="#cb1-8" aria-hidden="true" tabindex="-1"></a></span>
+<span id="cb1-9"><a href="#cb1-9" aria-hidden="true" tabindex="-1"></a>sampler image</span></code></pre></div>
+<p>The program <code>model</code> is a mixture of Gaussians. Its type <code>Distribution Double</code> represents a distribution over reals.
+<code>image</code> is a program too: as its type shows, it is a distribution over plots. In particular, plots that arise from forming a 200 bin histogram out of 100000 independent identically distributed (iid) draws from <code>model</code>.
+To sample from <code>image</code>, we simply write <code>sampler image</code>, with the result shown below:</p>
 <p><img src="../images/plot.png" width="450" height="300" /></p>
 <!-- <html>
    <head>
diff --git a/monad-bayes-site/_site/css/syntax.css b/monad-bayes-site/_site/css/syntax.css
new file mode 100644
index 00000000..6611a8e9
--- /dev/null
+++ b/monad-bayes-site/_site/css/syntax.css
@@ -0,0 +1,62 @@
+pre > code.sourceCode { white-space: pre; position: relative; }
+pre > code.sourceCode > span { display: inline-block; line-height: 1.25; }
+pre > code.sourceCode > span:empty { height: 1.2em; }
+.sourceCode { overflow: visible; }
+code.sourceCode > span { color: inherit; text-decoration: inherit; }
+div.sourceCode { margin: 1em 0; }
+pre.sourceCode { margin: 0; }
+@media screen {
+div.sourceCode { overflow: auto; }
+}
+@media print {
+pre > code.sourceCode { white-space: pre-wrap; }
+pre > code.sourceCode > span { text-indent: -5em; padding-left: 5em; }
+}
+pre.numberSource code
+  { counter-reset: source-line 0; }
+pre.numberSource code > span
+  { position: relative; left: -4em; counter-increment: source-line; }
+pre.numberSource code > span > a:first-child::before
+  { content: counter(source-line);
+    position: relative; left: -1em; text-align: right; vertical-align: baseline;
+    border: none; display: inline-block;
+    -webkit-touch-callout: none; -webkit-user-select: none;
+    -khtml-user-select: none; -moz-user-select: none;
+    -ms-user-select: none; user-select: none;
+    padding: 0 4px; width: 4em;
+    color: #aaaaaa;
+  }
+pre.numberSource { margin-left: 3em; border-left: 1px solid #aaaaaa;  padding-left: 4px; }
+div.sourceCode
+  {  background-color: #f8f8f8; }
+@media screen {
+pre > code.sourceCode > span > a:first-child::before { text-decoration: underline; }
+}
+code span.al { color: #ef2929; } /* Alert */
+code span.an { color: #8f5902; font-weight: bold; font-style: italic; } /* Annotation */
+code span.at { color: #c4a000; } /* Attribute */
+code span.bn { color: #0000cf; } /* BaseN */
+code span.cf { color: #204a87; font-weight: bold; } /* ControlFlow */
+code span.ch { color: #4e9a06; } /* Char */
+code span.cn { color: #000000; } /* Constant */
+code span.co { color: #8f5902; font-style: italic; } /* Comment */
+code span.cv { color: #8f5902; font-weight: bold; font-style: italic; } /* CommentVar */
+code span.do { color: #8f5902; font-weight: bold; font-style: italic; } /* Documentation */
+code span.dt { color: #204a87; } /* DataType */
+code span.dv { color: #0000cf; } /* DecVal */
+code span.er { color: #a40000; font-weight: bold; } /* Error */
+code span.ex { } /* Extension */
+code span.fl { color: #0000cf; } /* Float */
+code span.fu { color: #000000; } /* Function */
+code span.im { } /* Import */
+code span.in { color: #8f5902; font-weight: bold; font-style: italic; } /* Information */
+code span.kw { color: #204a87; font-weight: bold; } /* Keyword */
+code span.op { color: #ce5c00; font-weight: bold; } /* Operator */
+code span.ot { color: #8f5902; } /* Other */
+code span.pp { color: #8f5902; font-style: italic; } /* Preprocessor */
+code span.sc { color: #000000; } /* SpecialChar */
+code span.ss { color: #4e9a06; } /* SpecialString */
+code span.st { color: #4e9a06; } /* String */
+code span.va { color: #000000; } /* Variable */
+code span.vs { color: #4e9a06; } /* VerbatimString */
+code span.wa { color: #8f5902; font-weight: bold; font-style: italic; } /* Warning */
diff --git a/monad-bayes-site/_site/examples.html b/monad-bayes-site/_site/examples.html
index b2e9d45b..98f951c2 100644
--- a/monad-bayes-site/_site/examples.html
+++ b/monad-bayes-site/_site/examples.html
@@ -6,6 +6,7 @@
         <meta name="viewport" content="width=device-width, initial-scale=1">
         <title>Monad-Bayes - Example Gallery</title>
         <link rel="stylesheet" href="./css/default.css" />
+        <link rel="stylesheet" href="./css/syntax.css" />
     </head>
     <body>
         <header>
diff --git a/monad-bayes-site/images/ezgif-3-1920267e5d.gif b/monad-bayes-site/_site/images/ezgif-3-1920267e5d.gif
similarity index 100%
rename from monad-bayes-site/images/ezgif-3-1920267e5d.gif
rename to monad-bayes-site/_site/images/ezgif-3-1920267e5d.gif
diff --git a/monad-bayes-site/images/ezgif-3-f3ddcd7da9.gif b/monad-bayes-site/_site/images/ezgif-3-f3ddcd7da9.gif
similarity index 100%
rename from monad-bayes-site/images/ezgif-3-f3ddcd7da9.gif
rename to monad-bayes-site/_site/images/ezgif-3-f3ddcd7da9.gif
diff --git a/monad-bayes-site/images/measurement.gif b/monad-bayes-site/_site/images/measurement.gif
similarity index 100%
rename from monad-bayes-site/images/measurement.gif
rename to monad-bayes-site/_site/images/measurement.gif
diff --git a/monad-bayes-site/_site/tutorials.html b/monad-bayes-site/_site/tutorials.html
index c2899fe7..e32a0751 100644
--- a/monad-bayes-site/_site/tutorials.html
+++ b/monad-bayes-site/_site/tutorials.html
@@ -6,6 +6,7 @@
         <meta name="viewport" content="width=device-width, initial-scale=1">
         <title>Monad-Bayes - Tutorials</title>
         <link rel="stylesheet" href="./css/default.css" />
+        <link rel="stylesheet" href="./css/syntax.css" />
     </head>
     <body>
         <header>
diff --git a/monad-bayes-site/about.md b/monad-bayes-site/about.md
index c9e22eff..5c561d6b 100644
--- a/monad-bayes-site/about.md
+++ b/monad-bayes-site/about.md
@@ -18,9 +18,17 @@ example = fmap histogram (replicateM 1000 (normal 0 1))
 # Example
 
 
-<img src="../images/code_example.png" 
-     width="720" 
-     height="300" />
+```haskell
+model :: Distribution Double
+model = do
+     x <- bernoulli 0.5
+     normal (if x then (-3) else 3) 1
+
+image :: Distribution Plot
+image = fmap (plot . histogram 200) (replicateM 100000 model)
+
+sampler image
+```
 
 The program `model` is a mixture of Gaussians. Its type `Distribution Double` represents a distribution over reals. 
 `image` is a program too: as its type shows, it is a distribution over plots. In particular, plots that arise from forming a 200 bin histogram out of 100000 independent identically distributed (iid) draws from `model`. 
diff --git a/monad-bayes-site/monad-bayes-site.cabal b/monad-bayes-site/monad-bayes-site.cabal
index 3b4432ec..420459a6 100644
--- a/monad-bayes-site/monad-bayes-site.cabal
+++ b/monad-bayes-site/monad-bayes-site.cabal
@@ -8,6 +8,7 @@ executable site
   build-depends:
       base    >=4    && <5
     , hakyll  >=4.15 && <4.16
+    , pandoc  >=2.14
 
   ghc-options:      -threaded -rtsopts -with-rtsopts=-N
   default-language: Haskell2010
diff --git a/monad-bayes-site/site.hs b/monad-bayes-site/site.hs
index f096ec1a..0745c3e5 100644
--- a/monad-bayes-site/site.hs
+++ b/monad-bayes-site/site.hs
@@ -3,6 +3,20 @@
 
 import Data.Monoid (mappend)
 import Hakyll
+import Text.Pandoc.Highlighting (Style, styleToCss, tango)
+import Text.Pandoc.Options (ReaderOptions (..), WriterOptions (..))
+
+-- see https://rebeccaskinner.net/posts/2021-01-31-hakyll-syntax-highlighting.html
+pandocCodeStyle :: Style
+pandocCodeStyle = tango
+
+pandocCompiler' :: Compiler (Item String)
+pandocCompiler' =
+  pandocCompilerWith
+    defaultHakyllReaderOptions
+    defaultHakyllWriterOptions
+      { writerHighlightStyle = Just pandocCodeStyle
+      }
 
 --------------------------------------------------------------------------------
 main :: IO ()
@@ -18,7 +32,7 @@ main = hakyll $ do
   match (fromList ["about.md"]) $ do
     route $ setExtension "html"
     compile $
-      pandocCompiler
+      pandocCompiler'
         >>= loadAndApplyTemplate "templates/default.html" defaultContext
         >>= relativizeUrls
 
@@ -29,6 +43,11 @@ main = hakyll $ do
         >>= loadAndApplyTemplate "templates/default.html" defaultContext
         >>= relativizeUrls
 
+  create ["css/syntax.css"] $ do
+    route idRoute
+    compile $ do
+      makeItem $ styleToCss pandocCodeStyle
+
   -- match "posts/*" $ do
   --   route $ setExtension "html"
   --   compile $
diff --git a/monad-bayes-site/stack.yaml b/monad-bayes-site/stack.yaml
index 07cc9206..c5456d04 100644
--- a/monad-bayes-site/stack.yaml
+++ b/monad-bayes-site/stack.yaml
@@ -5,3 +5,6 @@ packages:
 extra-deps:
 - hakyll-4.15.1.1@sha256:14cb72593bc937576b07446db07403231cb9e4034d49fb232dc93fc32bb27e2f,9962
 
+nix:
+  enable: true
+  packages: [ zlib ]
\ No newline at end of file
diff --git a/monad-bayes-site/templates/default.html b/monad-bayes-site/templates/default.html
index b808453a..4fd73cea 100644
--- a/monad-bayes-site/templates/default.html
+++ b/monad-bayes-site/templates/default.html
@@ -6,6 +6,7 @@
         <meta name="viewport" content="width=device-width, initial-scale=1">
         <title>Monad-Bayes - $title$</title>
         <link rel="stylesheet" href="/css/default.css" />
+        <link rel="stylesheet" href="/css/syntax.css" />
     </head>
     <body>
         <header>