Give character-name Unicode codepoints

This commit is contained in:
Lassi Kortela 2020-08-17 09:40:39 +03:00
parent 28db834ea2
commit 7efd5b4122
1 changed files with 14 additions and 14 deletions

View File

@ -1,41 +1,41 @@
(id alarm)
(description "[R6RS, R7RS]")
(description "U+0007 [R6RS, R7RS]")
(id backspace)
(description "[R6RS, R7RS]")
(description "U+0008 [R6RS, R7RS]")
(id delete)
(description "[R6RS, R7RS]")
(description "U+007F [R6RS, R7RS]")
(id esc)
(description "[R6RS]")
(description "U+001B [R6RS]")
(id escape)
(description "[R7RS]")
(description "U+001B [R7RS]")
(id linefeed)
(description "[R6RS]")
(description "U+000A [R6RS]")
(id newline)
(description "[R6RS, R7RS]")
(description "U+000A [R6RS, R7RS]")
(id nul)
(description "[R6RS]")
(description "U+0000 [R6RS]")
(id null)
(description "[R7RS]")
(description "U+0000 [R7RS]")
(id page)
(description "[R6RS]")
(description "U+000C [R6RS]")
(id return)
(description "[R6RS, R7RS]")
(description "U+000D [R6RS, R7RS]")
(id space)
(description "[R6RS, R7RS]")
(description "U+0020 [R6RS, R7RS]")
(id tab)
(description "[R6RS, R7RS]")
(description "U+0009 [R6RS, R7RS]")
(id vtab)
(description "[R6RS]")
(description "U+000B [R6RS]")