SpiralS-mini

This is part of the tutorial presented during PLDI 2013. Slides can be found here:

http://scala-lms.github.io/pldi2013/

For the "full" SpiralS please visit http://www.spiral.net/