((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPackagesCommunityLearning

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

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Sun May 4 19:56:22 EDT 2014		 
The data definition is called 1String in HtDP/2e 


On May 4, 2014, at 7:35 PM, Alexander D. Knauth wrote:

> 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.  
> 
> 
> ____________________
>  Racket Users list:
>  http://lists.racket-lang.org/users
Posted on the users mailing list.