1.0.1 - Minor fixes

• Added results from the original Paper
• Improve documentation for the model-downloading script
• Minor typos

Full Changelog: 1.0.0...1.0.1

Release 1.0.0 - Initial Release

This release contains the reproduction package for the paper Type-Constrained Code Generation with Language Models, published at PLDI 2025.