nix -shell -p agda. on macOS M1 (Monterey), compilation seems to run fine but linking fails with a segmentation error
確定! 回上一頁