diff options
Diffstat (limited to 'src/Util/Strings/Ascii.v')
-rw-r--r-- | src/Util/Strings/Ascii.v | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/Util/Strings/Ascii.v b/src/Util/Strings/Ascii.v new file mode 100644 index 000000000..93ea9b749 --- /dev/null +++ b/src/Util/Strings/Ascii.v @@ -0,0 +1,15 @@ +Require Import Crypto.Util.Strings.Equality. +Require Import Coq.Strings.Ascii. + +Local Open Scope char_scope. + +(** Special characters *) + +Example Null := "000". +Example Backspace := "008". +Example Tab := "009". +Example LF := "010". +Example NewPage := "012". +Example CR := "013". +Example Escape := "027". +Example NewLine := "010". |