Honu: syntactic extension for algebraic notation through enforestation.

Jon Rafkind, Matthew Flatt

Browse the full GPCE paper archive.