Attempting to compile a field guide to the darcs source code.
Please explain stuff and fill this page in.

Code hierarchy
--------------

Did you know we have API documentation too? See
`http://darcs.net/api-doc <http://darcs.net/api-doc>`_ or combined
with hoogle
`http://joyful.com/repos/darcs-unstable/api-doc/ <http://joyful.com/repos/darcs-unstable/api-doc/>`_


-  src - generic code, could likely be spun off (see
   `DarcsLibraries <DarcsLibraries>`_)
-  Darcs - general darcs-y stuff
-  Darcs.Commands
-  Darcs.Repository - what goes on in \_darcs , for example prefs
-  Darcs.Patch - properties of patches, how they commute, etc

Major subsystems/concepts
-------------------------


-  `"Lazy" partial repositories <http://lists.osuosl.org/pipermail/darcs-devel/2007-April/005540.html>`_
-  `RepoFormat <http://article.gmane.org/gmane.comp.version-control.darcs.devel/5393>`_
-  `(Colour)Printers <http://lists.osuosl.org/pipermail/darcs-devel/2007-November/006441.html>`_
-  `ConflictMarking <ConflictMarking>`_
-  Selecting patches
-  `PatchSelectionMechanism <PatchSelectionMechanism>`_
-  `Calculating patch dependencies <http://lists.osuosl.org/pipermail/darcs-devel/2007-August/006161.html>`_
   - see especially Tommy's ball-on-wire explanation that follows
-  `Pending patch and sifting <http://lists.osuosl.org/pipermail/darcs-devel/2007-August/006218.html>`_
-  `NamedPatch <NamedPatch>`_ - how do patches look like inside?
   how do those hashes get computed?
-  `HashedPristine <HashedPristine>`_
-  Type witnesses
-  sealing patches:
-  `Seal and FlippedSeal <http://lists.osuosl.org/pipermail/darcs-users/2008-November/015617.html>`_
   - "when you seal a patch, you agree to lose information about it"
-  `Phantom Types, Existentials and Controlling Unification <http://blog.codersbase.com/2008/11/10/phantom-types-existentials-and-controlling-unification-part-1/>`_
-  `the point of IsEq <http://lists.osuosl.org/pipermail/darcs-users/2008-December/016738.html>`_
   - see thread parent for the context, and an example of why you'd
   want something like `IsEq <IsEq>`_

Bits and pieces of code
-----------------------


-  `http://darcs.net/unstable/api-doc <http://darcs.net/unstable/api-doc>`_
-  `headPermutationsFL <http://article.gmane.org/gmane.comp.version-control.darcs.devel/6373/match=head_permutations>`_
-  `Clever commute <http://lists.osuosl.org/pipermail/darcs-devel/2007-October/006355.html>`_
   (near bottom)

See also
--------


-  `Glossary <Glossary>`_
-  `DeveloperFAQ <DeveloperFAQ>`_
-  `PatchTheory <PatchTheory>`_
-  `CategoryDevelopers <CategoryDevelopers>`_