Similar repositories to conal/talk-2017-compiling-to-categories: