Skip to content
Create a gist now

Instantly share code, notes, and snippets.

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

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
Something went wrong with that request. Please try again.