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. `t` show type +`T` show type with all implicits + `a` Create an initial clause for a type declaration. `c` case split