Skip to content
CI

Generate Haskell code from the Agda spec #4894

Sign in to view logs

Generate Haskell code from the Agda spec

Generate Haskell code from the Agda spec #4894

Annotations

1 warning

Build and test (9.10.1, default, all)

Build and test (9.10.1, default, all)
succeeded Dec 12, 2024 in 24m 8s