Remove unsused code

This commit is contained in:
2025-11-30 15:06:55 -08:00
parent 239c2319a5
commit 1468d1c205

View File

@ -15,9 +15,6 @@
(and (>= code (char-code #\0))
(<= code (char-code #\9)))))))
(deftype utf-8-code-point ()
'(integer 0 #x10FFFF))
(deftype utf-8-middle-byte ()
'(integer #b10000000 #b10111111))