- Introduce pest parser #306
- Windows build #379
- Print proof #366
- Performance improvement thanks to faster flat -> ir translation #376
- Enforce boolean-ness in function parameters #371
- Remove strings #363 #368 #131
Special thanks to @petscheit for his contribution to this release!
