hatt v1.4.0 Release Notes

Release Date: 2011-10-25 // about 10 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 )".