From 67f042cc57ecdbde14f9a27346bdbcf9e6b73414 Mon Sep 17 00:00:00 2001
From: Simon Forman <sforman@hushmail.com>
Date: Mon, 6 May 2019 12:47:30 -0700
Subject: [PATCH] See https://www.metalevel.at/acomip/

---
 thun/metalogical.pl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/thun/metalogical.pl b/thun/metalogical.pl
index d793b69..201fd86 100644
--- a/thun/metalogical.pl
+++ b/thun/metalogical.pl
@@ -1,5 +1,7 @@
 % A Tracing Meta-Interpreter for Thun
 
+% See https://www.metalevel.at/acomip/
+
 tmi(true).
 tmi(!).
 tmi((A, B)) :- tmi(A), tmi(B).