From 71d9ecb0c539bac3ddbd934bca5455c3e99b3c29 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Tue, 28 Dec 2021 09:58:08 +0100
Subject: [PATCH] add \T to readme

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index 7fb47ef..946c569 100644
--- a/README.md
+++ b/README.md
@@ -54,6 +54,8 @@ commands are supported.
 
 `<LocalLeader>t` show type
 
+`<LocalLeader>T` show type with all implicits
+
 `<LocalLeader>a` Create an initial clause for a type declaration.
 
 `<LocalLeader>c` case split