Arc Forumnew | comments | leaders | submitlogin
6 points by rincewind 5888 days ago | link | parent

Please choose a more informative title for your question the next time: I suggest "Dumb question about quotation axioms" or "Is quote redundant with quasiquote?"