From 846d85bb7ab1cd246d45780f157e35338905285d Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Sun, 29 Jan 2023 21:12:10 -0800
Subject: [PATCH] Add missing source file to typeclasses-are-logic post

---
 code/typeclass-prolog/kb.pl | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 code/typeclass-prolog/kb.pl

diff --git a/code/typeclass-prolog/kb.pl b/code/typeclass-prolog/kb.pl
new file mode 100644
index 0000000..d8e4bdc
--- /dev/null
+++ b/code/typeclass-prolog/kb.pl
@@ -0,0 +1,7 @@
+show(unit).
+show(list(X)) :- show(X).
+show(pair(X,Y)) :- show(X), show(Y).
+
+eq(X) :- ord(X).
+eq(nat).
+ord(nat).