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