formal-ledger-specifications icon indicating copy to clipboard operation
formal-ledger-specifications copied to clipboard

Published 20 hours ago • verified publisher icon IntersectMBO

Update to Agda 2.7

Open WhatisRT opened this issue 1 year ago • 1 comments

Once Agda 2.7 makes it into nixpkgs master we should update (see the bottom of CONTRIBUTING.md on how to update agda-nixpkgs). This will unblock merging #488.

WhatisRT avatar Aug 30 '24 12:08 WhatisRT

We should also update CONTRIBUTING.md to reflect the upgrade to 2.7.

  • [ ] change "We use Agda version 2.6.4 and..." to "We use Agda version 2.7.0 and..."
  • [ ] change line ("Ledger Agda" "2.6.4" "~/IOHK/ledger-agda/bin/agda"))) in init file example appropriately.

williamdemeo avatar Sep 13 '24 02:09 williamdemeo

Completed by #564 (CONTRIBUTING.md was also updated in some other PR that I don't want to search for).

WhatisRT avatar Jan 08 '25 17:01 WhatisRT