Nice to see this on the front page. I wrote a Masters thesis about distributed issue tracking using darcs' patch theory[0]. You can read it here[1]. Although t

Nice to see this on the front page. I wrote a Masters thesis about distributed issue tracking using darcs' patch theory[0]. You can read it here[1]. Although the initial goal of the project was to build a working issue tracker that can integrate with darcsden[2], it later evolved mostly into a playground for playing with dependent types in Agda. So, sadly I don't have anything I can show HN yet. I do have a tiny little private prototype which I haven't gotten around to finishing yet because of other commitments. Maybe this is just the push I need to get it working. [0] http://hub.darcs.net/vikraman/thesis http://hub.darcs.net/vikraman/thesis [1] http://vikraman.org/thesis.pdf http://vikraman.org/thesis.pdf [2] http://hub.darcs.net/simon/darcsden http://hub.darcs.net/simon/darcsden