git.iko.soy/Idris-dev
on bc8da8d help sign in
history oftest/buffer001/buffer001.idr
all commits
a74200cFix allocation of bufferNiklas Larsson 4a10e27Add Data.BufferEdwin Brady ec57557Temporarily disable buffer001 testEdwin Brady a2332b0Endianness is redundant for Bits8Shea Levy d6418d7Rename functions implying Buffers have endiannessShea Levy f0fe3ffAdd C codegen implementation of buffer primitivesShea Levy 149e816Add Buffer type and primitives to the coreShea Levy c22e4ecAdd Data.Buffer moduleShea Levy 47b3278Add test case for simple Buffer functionalityShea Levy