Statically Contextualizing Large Language Models with Typed Holes

Open in new window