Skip to content

Instantly share code, notes, and snippets.

@MelkorNemesis

MelkorNemesis/gist:8fc9dc1f3183ce0168dfaa851c662a22 Secret

Created January 7, 2021 14:14
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 MelkorNemesis/8fc9dc1f3183ce0168dfaa851c662a22 to your computer and use it in GitHub Desktop.
Save MelkorNemesis/8fc9dc1f3183ce0168dfaa851c662a22 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
-- (.) f g = \x -> f (g x)
-- f . g = \x -> f (g x)
-- (f .) becomes \g -> \x -> f (g x)
-- (Any .) :: (a -> Bool) -> a -> Any
-- (Any .) becomes \g -> \x -> Any (g x)
-- (<>) . (Any .) :: (a -> Bool) -> (a -> Any) -> a -> Any
-- (<>) . (Any .) becomes ???
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment