[darcs-users] Formal documentation

Michael Olney mpolney at gmail.com
Wed Feb 2 11:00:34 UTC 2011

Previous message: [darcs-users] Getting rid of literate haskell
Next message: [darcs-users] Formal documentation
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

Is the instance of Darcs' patch algebra that the software itself is
intended to implement documented formally anywhere?

- Michael

Previous message: [darcs-users] Getting rid of literate haskell
Next message: [darcs-users] Formal documentation
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the darcs-users mailing list