Skip to content

Instantly share code, notes, and snippets.

@dsebban

dsebban/parametricity_recap.md

Last active July 5, 2018 13:02
Show Gist options
  • Save dsebban/803d11032b96c791d9fe550e44cd1b00 to your computer and use it in GitHub Desktop.
Save dsebban/803d11032b96c791d9fe550e44cd1b00 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
parametricity_recap.md
input output # implementations
a: A A 1
a: A, b: A A 2
as: List[A] List[A] little bit more
a: A Int a lot more!
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment