git.iko.soy/Idris-dev
on ed0c5c6 help sign in
Idris-dev/src
6 folders, 1 file
../ Core/Beginnings of integer SIMD support (no backend yet) IRTS/Added SIMD vector index and update primitives Idris/Fix IBC encoding of new IR arithmetic types Pkg/Some unification fixes RTS/Adding support for Windows MingW32 Util/Remove old ifdefs for supporting base<4 since we require base>=4 Main.hsAdd scripts