Skip to content

[ fix #391 ] Add imports for Haskell.* modules (other than Prelude) #146

[ fix #391 ] Add imports for Haskell.* modules (other than Prelude)

[ fix #391 ] Add imports for Haskell.* modules (other than Prelude) #146

Annotations

1 warning

Compile agda2hs with nix (agda2hs)

succeeded Jan 24, 2025 in 1m 29s