Skip to content

Instantly share code, notes, and snippets.

@brikis98
Last active August 29, 2015 13:58
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 brikis98/10295836 to your computer and use it in GitHub Desktop.
Save brikis98/10295836 to your computer and use it in GitHub Desktop.
val l1 = 1 :#: 2 :#: 3 :#: VNil
val l2 = 1 :#: 2 :#: VNil
val l3 = l1 vAdd l2
// Result: a *compile* error because you can't pairwise add vectors
// of different lengths!
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment