hatt v1.4.0 Release Notes
Release Date: 2011-10-25 // over 12 years ago-
- 📜 Make the parser slightly more liberal: unparenthesised expressions with a binary connective as their primary connective such as "a | b" are now parsed correctly, as are expressions with superfluous spaces such as " ( c -> ~ d )".