[darcs-devel] back from ICFP (and roadmap)

[Ganesh Sittampalam]

On Wed, 5 Oct 2005, Stephen J. Turnbull wrote:

> Type-checking is all very nice, but IMO it would be more useful to

Personally I can't think of anything more important than correctness 
checks to make sure darcs can't corrupt your repository :-)

> Are there any introductory references on these things?

How introductory? The section GHC manual is reasonably useful if you 
already know Haskell (or perhaps another FP language with inductive 
datatypes).

Cheers,

Ganesh