Created page with "This page gives an overview of Toaq-specific jargon, or logic jargon as it relates to Toaq. === Auto-hoa === A family of proposals for automatically inserting '''hoa''' into..."
(Created page with "This page gives an overview of Toaq-specific jargon, or logic jargon as it relates to Toaq. === Auto-hoa === A family of proposals for automatically inserting '''hoa''' into...")