You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
remove the jailbreak in flake.nix now that aeson bounds are relaxed#369
Merged
jespercockx merged 1 commit intoagda:masteragda/agda2hs:masterfrom liesnikov:masterliesnikov/agda2hs:masterCopy head branch name to clipboardSep 24, 2024
