Generate Haskell code from the Agda spec#1315

Open

javierdiaz72 wants to merge 17 commits intomainfrom javierdiaz72/agda-spec-to-haskell

+2,557-669

Commits on Nov 21, 2024

Commits on Dec 5, 2024

Commits on Dec 12, 2024

Commits on Dec 13, 2024

Commits on Dec 16, 2024

Integrate the Haskell code emitted from agda-spec into CI (#1344 )
geo2a
authored
Merge remote-tracking branch 'refs/remotes/origin/javierdiaz72/agda-spec-to-haskell' into javierdiaz72/agda-spec-to-haskell
javierdiaz72
committed

Commits on Dec 17, 2024

Add support for code auto-generation of records with non-dependent function fields
javierdiaz72
committed

Commits on Dec 18, 2024

Fix formatting/linting
geo2a
committed

Commits on Jan 23, 2025

Commits on Feb 7, 2025

Generate Haskell code for Protocol
javierdiaz72
committed

Commits on Feb 13, 2025

Generate Haskell code for TickForecast
javierdiaz72
committed

Commits on Feb 14, 2025

Generate Haskell code for ChainHead
javierdiaz72
committed