Skip to content

Instantly share code, notes, and snippets.

@mandubian

mandubian/Id.scala

Created November 11, 2017 17:06
Show Gist options
  • Save mandubian/015e465b396ba6d23964a82ae44f74b9 to your computer and use it in GitHub Desktop.
Save mandubian/015e465b396ba6d23964a82ae44f74b9 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Id.scala
def id: A => A = identity
// 𝛌(a:A). a
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment