From 731b49973c0fabd6464efea3b758604ad8756205 Mon Sep 17 00:00:00 2001
From: Simon Forman <sforman@hushmail.com>
Date: Tue, 16 Jul 2019 08:42:45 -0700
Subject: [PATCH] Opps! Here's the implementation of bool.

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

diff --git a/thun/thun.pl b/thun/thun.pl
index b558d31..c3678c4 100644
--- a/thun/thun.pl
+++ b/thun/thun.pl
@@ -104,6 +104,14 @@ func(/, [A, B|S], [B / A|S]).
 
 func(calc, [A|S], [B|S]) :- B is A.
 
+func(bool, [    0|S], [false|S]) :- !.
+func(bool, [  0.0|S], [false|S]) :- !.
+func(bool, [   []|S], [false|S]) :- !.
+func(bool, [   ""|S], [false|S]) :- !.
+func(bool, [false|S], [false|S]) :- !.
+
+func(bool, [_|S], [true|S]).
+
 % func(pm, [A, B|S],    [C, D|S]) :- C #= A + B, D #= B - A.
 % func(pm, [A, B|S],    [B + A, B - A|S]).