|
|
|
|
|
|
by namarkiv
4031 days ago
|
|
|
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 [1] http://vikraman.org/thesis.pdf [2] http://hub.darcs.net/simon/darcsden |
|
|