[m-dev.] referenced papers
matthias at guedemann.org
Mon Aug 31 17:37:24 AEST 2015
> It is public, but I have no idea how to set up controls on who can
> update it. I am hoping that it inherits those settings from
> Mercury-Language, but don't know. If someone does, I would be grateful
> if they told me. I would also be grateful if you test whether the
> repo can be checked out by someone other than me.
yes, no problem to check out the repo.
Great, I also saw that Ralf Hinze's paper on priority search queues is
More information about the developers