Skip to content
CI

Generate Haskell code from the Agda spec #5219

Sign in to view logs

Generate Haskell code from the Agda spec

Generate Haskell code from the Agda spec #5219

Run benchmarks (9.6.6)

Run benchmarks (9.6.6)
succeeded Feb 13, 2025 in 19s