diff --git a/etc/conf.org b/etc/conf.org
index 91d0cd1..7fb4972 100644
--- a/etc/conf.org
+++ b/etc/conf.org
@@ -1135,6 +1135,13 @@ Dhall is a functional/typed configuration language (bout time).
 (use-package dhall-mode
   :straight t
   :mode "\\.dhall\\'")
+
+(defun nd/dhall-toggle-type-check ()
+  "Turn dhall type checking on/off."
+  (interactive)
+  (let ((msg (if dhall-use-header-line "disabled" "enabled")))
+    (setq dhall-use-header-line (not dhall-use-header-line))
+    (message "Dhall type check %s" msg)))
 #+end_src
 *** Lua
 For flycheck, install =luacheck= (from AUR on Arch).