 
   (use-package idris2-mode :defer t
     :straight (idris2-mode :type git
-			   :host github
-			   :repo "idris-community/idris2-mode")
+									:host github
+									:repo "idris-community/idris2-mode")
     :hook
     (idris2-mode . lsp))
 


  (use-package koka-mode
    :straight (koka-mode :type git
			 :host github
			 :repo "koka-lang/koka"
			 :files ("support/emacs/*.el"))
    :defer t)

  (use-package zig-mode :straight t :defer t)

    :init
    (add-hook
     'org-mode-hook (lambda ()
							 (load-library "org-crypt")
							 (load-library "ob-async")
							 (add-to-list 'org-src-lang-modes '("diagrams" . prog-mode))
							 (org-crypt-use-before-save-magic)
							 (setq org-tags-exclude-from-inheritance '("crypt"))
							 (defadvice org-babel-execute-src-block (around load-language nil activate)
								"Load language if needed"
								(let ((language (org-element-property :language (org-element-at-point))))
								  (unless (cdr (assoc (intern language) org-babel-load-languages))
									 ;; check if language is bash, zsh, fish then load shell
									 (add-to-list 'org-babel-load-languages (cons (intern language) t))
									 (org-babel-do-load-languages 'org-babel-load-languages org-babel-load-languages))
								  ad-do-it)))))

  (use-package org-projectile :straight t :defer t)

