Skip to content

Instantly share code, notes, and snippets.

@MarcelineVQ

MarcelineVQ/sffsdf.idr

Last active June 19, 2020 20:58
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save MarcelineVQ/84c2e368d099fedc34cb6fd1499c96cd to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save MarcelineVQ/84c2e368d099fedc34cb6fd1499c96cd to your computer and use it in GitHub Desktop.
Download ZIP
Raw
sffsdf.idr
my_uniq : Ord a => List a -> Maybe a
my_sort : Ord a => List a -> List a
[myeq] Eq a where
[myord] Ord a using myeq where
faf : List a -> Maybe a
faf xs = let _ = myord in my_uniq $ my_sort xs
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment