Generate Haskell code from the Agda spec#1315

Draft

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

+1,643-606

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