search

IntersectMBO / ouroboros-consensus

Implementation of a Consensus Layer for the Ouroboros family of protocols
https://ouroboros-consensus.cardano.intersectmbo.org
Apache License 2.0
36 stars 23 forks source link

Generate Haskell code from the Agda spec #1312

Open javierdiaz72 opened 6 days ago

javierdiaz72 commented 6 days ago

As the next task in implementing conformance testing with respect to the formal specification, we shall set up the required infrastructure to generate Haskell code from the Agda specification.