From 73e5916cc58f505aaa06fe5231f1823f34d793a2 Mon Sep 17 00:00:00 2001
From: Daniel Barlow <dan@telent.net>
Date: Sat, 15 Jul 2023 23:40:16 +0100
Subject: [PATCH] thunk

---
 THOUGHTS.txt | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/THOUGHTS.txt b/THOUGHTS.txt
index e8fa878..43c865b 100644
--- a/THOUGHTS.txt
+++ b/THOUGHTS.txt
@@ -2004,3 +2004,14 @@ system.services.pqmud = args :
      inherit (args) name;
      run = "${pkgs.pqmud}/bin/pqmud --port ${port} ....."
   };
+
+Fri Jul 14 19:07:59 BST 2023
+
+It works for pppoe, though typechecking error messages could be
+better.
+
+- We need to find a good place to keep the typeCheck function so that
+everyone can use it.
+
+- also the type_service type defn exists only locally in modules.nix,
+and we would like to refer to it elsewhere