ial
ial copied to clipboard
Published
20 hours ago •
cedille
cedille
The Iowa Agda Library
Results
2
ial issues
Sort by
recently updated
recently updated
newest added
Per the title: The gratr tool is needed by the Makefile and additional files (i.e. `parse` and `parse-tree`) which, I believe, are generated from gratr are needed by the huffman...
(I am an absolute newcomer here who doesn't know what he is doing.) I am trying to read @astump 's book, and as the first step I am trying to...
