edwinb/Idris-dev — pull request #390 by Ralith (2013-07-12 23:19:39+00:00)
Title: Vector ftypes

Implements C FFI for SIMD vectors and adds primitives for bitcasting between them.