diff -r d1243c5a801c -r e01a46f45b02 shell.nix
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/shell.nix	Tue Jan 31 16:46:11 2023 +0100
@@ -0,0 +1,7 @@
+{ pkgs ? import <nixpkgs> {} }:
+
+pkgs.mkShell {
+  buildInputs = with pkgs; [
+    openjdk11
+  ];
+}