Generating Well-Typed Terms that are not "Useless" [pdf](lemonidas.github.io)33 points by luu 3 years ago | 3 comments
![Screenshot of lemonidas.github.io: Generating Well-Typed Terms that are not "Useless" [pdf]](https://hn.urlbox.com/shots/renders/2023/10/27/df7ff07f-c599-4914-975f-bcfe885b5887.jpg)