Skip to content

Instantly share code, notes, and snippets.

@kuribas

kuribas/test.idr Secret

Created February 11, 2023 11:39
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save kuribas/eb6b2c38b228fcfe46c28525901996ba to your computer and use it in GitHub Desktop.
Save kuribas/eb6b2c38b228fcfe46c28525901996ba to your computer and use it in GitHub Desktop.
Download ZIP
Raw
test.idr
module Main
import Data.Maybe
import Decidable.Equality
foo : Maybe Int -> Int
foo x = case isItJust x of
Yes _ => fromJust x
No _ => 0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment