search

toaq / zugai

A Haskell library/program for parsing and interpreting Toaq
BSD 3-Clause "New" or "Revised" License
8 stars 0 forks source link

Prohibit vacuous binding in relative clauses #16

Open solpahi opened 2 years ago

solpahi commented 2 years ago

*sa pỏq lä mảı jí súq *"some person such that I love you"

violates the prohibition against vacuous quantification/binding:

image