567
edits
Glossary: Difference between revisions
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...") |
(No difference)
|