dev-langdev-langdev-lang / mercury : Mercury is a modern general-purpose logic/functional programming languageSupport Mercury trail grades