Closed samvang closed 4 months ago
It looks like parsing of the non unicode character T for verum in the online demo is broken, and it would be good to also add F and unicode bottom for falsum as possible input characters.
It looks like parsing of the non unicode character T for verum in the online demo is broken, and it would be good to also add F and unicode bottom for falsum as possible input characters.