Skip to content

Instantly share code, notes, and snippets.

@bradparker

bradparker/SKI.hs

Last active February 20, 2020 04:55
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 bradparker/751bd60db51ec09598fe63a5fcbef885 to your computer and use it in GitHub Desktop.
Save bradparker/751bd60db51ec09598fe63a5fcbef885 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
SKI.hs
{-# LANGUAGE RankNTypes #-}
-- Prelude> :set -XTypeApplications
-- Prelude> :t id
-- id :: a -> a
-- Prelude> :t const
-- const :: a -> b -> a
-- Prelude> :t (<*>) @((->) _)
-- (<*>) @((->) _) :: (w -> a -> b) -> (w -> a) -> w -> b
type I = forall a. a -> a
type K = forall a b. a -> b -> a
type S = forall a b c. (a -> b -> c) -> (a -> b) -> a -> c
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment