Skip to content
This repository was archived by the owner on Jan 2, 2021. It is now read-only.

Do not suggest any hole filling if there are too many suggestions#888

Closed
expipiplus1 wants to merge 1 commit intohaskell:masterfrom
expipiplus1:joe-limit-holes
Closed

Do not suggest any hole filling if there are too many suggestions#888
expipiplus1 wants to merge 1 commit intohaskell:masterfrom
expipiplus1:joe-limit-holes

Commits

Commits on Oct 28, 2020