>
> The key is that the a user-friendly input to darcs is almost trivially
> machine-friendly (as long as it comes through stdin).  Machine-friendly
> input is a subset of human-friendly input.

Assuming ofcourse that nobody changes letter shortcuts on darcs
questions to make it more userfriendly. This would ofcourse break
existing applications.

Cheers,
  Radek

_______________________________________________
darcs-users mailing list
[email protected]
http://www.abridgegame.org/mailman/listinfo/darcs-users

Reply via email to