[racket] Is there a type for a string with length 1?

From: Alexander D. Knauth (alexander at knauth.org)
Date: Sun May 4 19:35:17 EDT 2014

Previous message: [racket] Callback on shutdown
Next message: [racket] Is there a type for a string with length 1?
Messages sorted by: [date] [thread] [subject] [author]

Is there a type for a string with length 1?  
The reason is that I’m trying to make my own typed version of big-bang and I want to make a type for KeyEvent.

Posted on the users mailing list.

Previous message: [racket] Callback on shutdown
Next message: [racket] Is there a type for a string with length 1?
Messages sorted by: [date] [thread] [subject] [author]