From 890ad2bcee172ab2a4cbb319145f5b42ba38619a Mon Sep 17 00:00:00 2001
From: Julian T <julian@jtle.dk>
Date: Thu, 25 Nov 2021 08:47:19 +0100
Subject: Add notes and assignment solution

---
 sem7/pp/prolog/shell.nix | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 sem7/pp/prolog/shell.nix

(limited to 'sem7/pp/prolog/shell.nix')

diff --git a/sem7/pp/prolog/shell.nix b/sem7/pp/prolog/shell.nix
new file mode 100644
index 0000000..45b9e32
--- /dev/null
+++ b/sem7/pp/prolog/shell.nix
@@ -0,0 +1,13 @@
+{ pkgs ? import <nixpkgs> {} }:
+let
+    pkgs_old = import (builtins.fetchTarball {
+        name = "nixpkgs-racket";
+        url = "https://github.com/nixos/nixpkgs/archive/1bf0327ef6d7e0959f3250758b4d33b4066a732b.tar.gz";
+        sha256 = "1pz4xaimpb1y8xmqz9c8a2g1nsr77jc7nxi6m8v4ph8q1r3c7pz9";
+    }) {};
+in
+pkgs.mkShell {
+    buildInputs = with pkgs; [
+        pkgs_old.racket swiProlog
+    ];
+}
-- 
cgit v1.2.3