diff --git a/etc/conf.org b/etc/conf.org
index 8d5f647..f59623f 100644
--- a/etc/conf.org
+++ b/etc/conf.org
@@ -1134,7 +1134,9 @@ Dhall is a functional/typed configuration language (bout time).
 #+begin_src emacs-lisp
 (use-package dhall-mode
   :straight t
-  :mode "\\.dhall\\'")
+  :mode "\\.dhall\\'"
+  :config
+  (setq dhall-type-check-inactivity-timeout 5))
 
 (defun nd/dhall-toggle-type-check ()
   "Turn dhall type checking on/off."