allow nullary predicates

[lagleki]

on the edit page place a checkmark saying "I found no places in your def. Are you sure you want to add that?"
It is shown only after "check" button has been pressed.

Also make its background red so that users immediately see what jvs is afraid of.

[teleological]

Is this a generalization of #103 ? Or something more different?

[lagleki]

i think it's a proposed solution. a sub-issue of #103.

2014-10-25 22:32 GMT+04:00 Riley Martinez-Lynch [email protected]:

Is this a generalization of #103
#103 ? Or something more
different?

—
Reply to this email directly or view it on GitHub
#126 (comment).

[tsani]

I would really like to have this feature, too, for the record.