@hackage / ollama-holes-plugin

A typed-hole plugin that uses LLMs to generate valid hole-fits

Changelog

Revision history for OllamaHoles

0.1.0.0 -- 2024-04-25

First version. Released on an unsuspecting world.