git.iko.soy/Idris-dev
on b3ba46e help sign in
Idris-dev/src
6 folders, 1 file
../ Core/Primitive types for groups of 8, 16, 32, and 64 bits, and basic arithmetic and mutual conversion operations on them IRTS/Primitives for interconversion of Bits32 and Int Idris/Primitives for interconversion of Bits32 and Int Pkg/More platform agnostic now RTS/Adding support for Windows MingW32 Util/Fix Util.System so that it compiles again... Main.hsmake TT aware of Set -> Type