packages feed

idris-0.10.3: libs/contrib/CFFI.idr

module CFFI

import public CFFI.Types
import public CFFI.Memory