From 840d2acbd8885c0066adc2138fcc88372e6c4ee5 Mon Sep 17 00:00:00 2001 From: Leni Aniva Date: Sun, 31 Mar 2024 16:12:23 -0700 Subject: [PATCH] docs: Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index cde0807..26bf788 100644 --- a/README.md +++ b/README.md @@ -72,7 +72,7 @@ where the application of `assumption` should lead to a failure. See `Pantograph/Protocol.lean` for a description of the parameters and return values in JSON. - `reset`: Delete all cached expressions and proof trees -- `expr.echo {"expr": }`: Determine the type of an expression and round-trip it +- `expr.echo {"expr": , "type": }`: Determine the type of an expression and round-trip it - `env.catalog`: Display a list of all safe Lean symbols in the current environment - `env.inspect {"name": , "value": }`: Show the type and package of a given symbol; If value flag is set, the value is printed or hidden. By default