Skip to content

Instantly share code, notes, and snippets.

@akhileshs

akhileshs/dt.scala

Last active March 5, 2016 11:17
Show Gist options
  • Save akhileshs/e9cae365e9491d5baefc to your computer and use it in GitHub Desktop.
Save akhileshs/e9cae365e9491d5baefc to your computer and use it in GitHub Desktop.
Download ZIP
Raw
dt.scala
trait Vect[Size, A]
def ++[n, m, a](v1: Vect[n, a], v2: Vect[m, a]): Vect[(n + m), a]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment