The vision

• Library design bugs on the tracker

• Using the repo-level library should be safe. No repo-level operation should make a consistent repository inconsistent

• Implementing a Darcs GUI with cherry-picking should be possible

• Split into three components?

  • core
  • repo
  • commands

• Type witnesses work complete

Innards

• separation of business IO from UI IO - issue1483

darcs monad

Things a Darcs monad might be good for: - issue1895

• DarcsFlag
• Global variables
• Passing information into posthooks - (huh?)
• SSH parameterisation
• and more!