A script for checking URLs in markdown documents, used in collaborative online bibliographies such as effects-bibliography and popl2015-papers.
A script for checking URLs in markdown documents, used in collaborative online bibliographies such as effects-bibliography and popl2015-papers.