git.iko.soy/Idris-dev
on ee32989 help sign in
Idris-dev/test/primitives004
3 files
../ expectedAdded bit vectors to the C backend primitives004.idrAdded bit vectors to the C backend runAdded bit vectors to the C backend