diff options
| -rw-r--r-- | doc/notes.txt | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/notes.txt b/doc/notes.txt index dfc585d9..eef0038e 100644 --- a/doc/notes.txt +++ b/doc/notes.txt @@ -196,3 +196,10 @@ requirements for a proof assistant interface. +Example of API design guidlines +=============================== + +1. Use a different prompt for continued lines during input +communication. Helps parsing output. + + |