idris2-cptr: Fun with C-Pointers This is a small and - currently - experimental library for working with raw C pointers and unboxed C arrays. This is all still very new and work in progress.