Related links

Darcs
A version control system with a similar philosophy.

Haskell
The implementation language.