jfrankle/refinements-popl-16

Artifact of "Example-Directed Synthesis: A Type-Theoretic Implementation" by Frankle, Osera, Walker, and Zdancewic.

语言：F# · GitHub 星标：9 · Fork：5

在 GitHub 上查看原仓库