Skip to content
Nix CI

[ fix #377 ] Add module Haskell.Data.Maybe with fromMaybe and more #150

Sign in to view logs

[ fix #377 ] Add module Haskell.Data.Maybe with fromMaybe and more

[ fix #377 ] Add module Haskell.Data.Maybe with fromMaybe and more #150

Annotations

1 warning

Compile agda2hs with nix (agda2hs)

Compile agda2hs with nix (agda2hs)
succeeded Jan 24, 2025 in 1m 36s