git.iko.soy/Idris-dev
on d740cc5 help sign in
Idris-dev/test/tutorial007/nativetypes.c
3 lines 67 B history raw
1#include <stdio.h>
3int sizeof_size_t() { return sizeof(size_t); }