Skip to content

Instantly share code, notes, and snippets.

@nomicflux

nomicflux/NoLambda.idr

Created December 9, 2016 16:15
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save nomicflux/46920e879e40d0c3b90ec4d9c627a7f8 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save nomicflux/46920e879e40d0c3b90ec4d9c627a7f8 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
NoLambda.idr
add : Int -> Int -> Int
add x y = x + y
doSomething : (Int -> Int -> Int) -> Int -> Int -> Int
doSomething f x y = f x y
doSomething add 1 2 -- Result: 3
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment