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

Merged

jespercockx merged 1 commit intoagda:masterfrom jespercockx:issue377

Jan 24, 2025

+56-8

Commits on Jan 24, 2025

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