v0.2.0

What's Changed

• Lambda terms and word types are now shown in the frontend (#14).
• Proofs can now be exported in JSON and downloaded (#16).
• The application now runs in a Docker Compose network (#17).

Full Changelog: https://github.com/UUDigitalHumanitieslab/parseport/commits/0.2.0