From 1845e9d1138f7f8743600834c54820385c7d322d Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Fri, 6 May 2022 11:23:05 -0400
Subject: Not sure why KI was never labelled Kite?

---
 docs/doc/birds.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs')

diff --git a/docs/doc/birds.html b/docs/doc/birds.html
index a5e42e55..7e6a830b 100644
--- a/docs/doc/birds.html
+++ b/docs/doc/birds.html
@@ -28,7 +28,7 @@
 <td align="center"><code><span class='Function'>⊢</span></code></td>
 <td>Identity</td>
 <td><code><span class='Function'>I</span></code></td>
-<td></td>
+<td>Kite</td>
 <td><code><span class='Function'>KI</span></code></td>
 </tr>
 <tr>
-- 
cgit v1.2.3