v4.0

What's Changed

• Fix dual for _TRUE and _FALSE by @pauleve in #100
• Use correct license id #99 by @pombredanne in #102
• Update Arch Linux package by @mxmehl in #104
• Release 4.0 by @pombredanne in #107
• Performance: prevent blowup in normalization by @olliemath in #105

New Contributors

• @pauleve made their first contribution in #100
• @olliemath made their first contribution in #105

Full Changelog: v3.8...v4.0