The code can be found here: https://github.com/eth-sri/type-constrained-code-gen... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

tough 25 days ago | parent | context | favorite | on: Type-constrained code generation with language mod...

The code can be found here: https://github.com/eth-sri/type-constrained-code-generation

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact