Immutable CStrings

George Russell ger@tzi.de
Thu, 24 Apr 2003 14:53:19 +0200


Koen Claessen wrote:>  | How would one implement an CStringLen-style type that
>  | [...]
> 
> Take a look at:
> 
> http://www.cs.chalmers.se/Cs/Grundutb/Kurser/afp/Lab2/Chunk.hs
> 
> Is that what you want?
Yes, that's much more like it.  Any chance of this module getting put into
the standard distribution?