GitHub - input-output-hk/cardano-ledger-executable-spec: Executable specification of `cardano-ledger` generated from Agda

input-output-hk / cardano-ledger-executable-spec Public

Executable specification of `cardano-ledger` generated from Agda

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 57 Commits
MAlonzo		MAlonzo
test		test
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
Lib.hs		Lib.hs
cardano-ledger-executable-spec.cabal		cardano-ledger-executable-spec.cabal
flake.lock		flake.lock
flake.nix		flake.nix