Pinned Repositories
books
mercury
The Mercury logic programming system.
mercury_outside_papers
Copies of outside papers which are relevant to the implementation of the Mercury system.
www
Mercury website
zsomogyi's Repositories
zsomogyi doesn’t have any repository yet.