Open Issues Need Help
View All on GitHub Mercury asm_fast.*.stseg nondet stack overflows on aarch64-linux, even for non-recursive programs about 3 hours ago
bug help wanted
Cinnabar (HgS) is the red mineral from which mercury is smelted. You bring raw material; the heat does the work. This repository contains katas, koans, and puzzles for programmers who have completed the official Mercury tutorial and want genuine fluency.
Mercury