Code

WIP: add reference implementation#111

Code

Draft

WhatisRT wants to merge 3 commits intomaininput-output-hk/ouroboros-leios:mainfrom andre/computationalinput-output-hk/ouroboros-leios:andre/computationalCopy head branch name to clipboard

+716-326

Commits

Commits on Nov 19, 2024

• Bump agda-iog-prelude hash, introduce Computational22

  WhatisRT

  committed
  8140f7e

Commits on Nov 20, 2024

• Move module parameters into a bundled record

  WhatisRT

  committed
  e8b5f5d

Commits on Dec 17, 2024

• WIP: add reference implementation

  WhatisRT

  committed
  de22fb7