Instantly share code, notes, and snippets.

@paulcc /gist:5870420
Last active Dec 19, 2015

What would you like to do?
Bits of the word pack code in Idris
placeholder... until a few more days into July
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment