See https://www.metalevel.at/acomip/

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