Add agdaWithPackages to the default devShell#952

williamdemeo merged 2 commits intomasterIntersectMBO/formal-ledger-specifications:masterfrom

carlos/add-agdaWithPackages-to-devShellIntersectMBO/formal-ledger-specifications:carlos/add-agdaWithPackages-to-devShellCopy head branch name to clipboard