Skip to content

fix: avoid max heartbeat error in completion#5996

Merged
mhuisi merged 1 commit intoleanprover:masterfrom mhuisi:mhuisi/completion-whnf-errorNov 8, 2024
+6-3

Commits

Commits on Nov 7, 2024