mtoohey31/lott

Add syntax sugar for defining judgement negations

Opened this issue · 0 comments

mtoohey31 commented
Add syntax sugar for defining judgement negations