LLM powered valid-hole fits!
For the longest time this was impractical, no way were we going to ship GBs of weights for ML powered hole-synthesis with GHC. But with ollama, you can easily run an LLM that can do this!
Available on Hackage now!
github.com/Tritlo/Ollam...