Toaq

A monoparsing artlang-engelang.

Welcome to Toaq!

Toaq (pronounced [tʰo.aŋ]) is a constructed human language in which every sentence translates unambiguously into logic notation. It is also an artlang.

A light introductory course is available here:

Toaq with Ease

For a complete description of the language, read:

Reference Grammar of Toaq