eaburns/toaq

Tools for the constructed, logical language Toaq.

Open All

10 open issues indexed

Be more strict about allowed connector words Open

bug

eaburns/toaq#4 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
la should have the same grammar as ju Open

bug good first issue

eaburns/toaq#11 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Bad interpretation: sa dó bı dủa hı ráı rǎq hóa dó Open

bug

eaburns/toaq#12 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
interp: convert unary bu and serial-head bu to ¬ Open

enhancement

eaburns/toaq#13 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Support predicate quantifiers Open

bug

eaburns/toaq#14 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
"tu dó păi súq hóa bi dủasūe jí cu nîqdāo hi pó dó ka" Open

eaburns/toaq#15 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
"ra" particle grabs statement-with-prenex causing unintuitive parsing Open

eaburns/toaq#18 · 10 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
repertoire of RU (connective words) isn't exhausted by `connector` @ `logic/interp.go`:1063 Open

eaburns/toaq#24 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
KE RẢI Open

eaburns/toaq#25 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
DA and MOQ? Open

enhancement

eaburns/toaq#26 · 2 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026

Get new issues in your inbox