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

Typecheck with Agda with nix (agda2hs-lib)

Typecheck with Agda with nix (agda2hs-lib)
succeeded Jan 24, 2025 in 1m 9s