../ Core/Primitive types for groups of 8, 16, 32, and 64 bits, and basic arithmetic and mutual conversion operations on them14 years ago IRTS/Absolutely untested implementations of a few bitstring primitives.14 years ago Idris/Absolutely untested implementations of a few bitstring primitives.14 years ago Pkg/More platform agnostic now14 years ago RTS/Adding support for Windows MingW3214 years ago Util/Fix Util.System so that it compiles again...14 years ago Main.hsmake TT aware of Set -> Type14 years ago