diff --git a/CHANGELOG.develop b/CHANGELOG.develop
index 38d9b8aaa..5917ad093 100644
--- a/CHANGELOG.develop
+++ b/CHANGELOG.develop
@@ -1083,6 +1083,7 @@ Other:
 **** Agda
 - Fixes
   - Fixed auto bind breaking after Agda 2.6.0 api changes
+  - Retained indentation on paste (thanks to Georgy Lukyanov)
 **** Alda
 - Key bindings:
   - ~SPC m b~ Play the entire buffer
diff --git a/layers/+lang/agda/packages.el b/layers/+lang/agda/packages.el
index b4c725ca1..b15742c77 100644
--- a/layers/+lang/agda/packages.el
+++ b/layers/+lang/agda/packages.el
@@ -58,6 +58,9 @@
            (agda2-highlight-record-face                . font-lock-type-face))))
       :config
       (progn
+        ; don't lose indentation on paste
+        (add-to-list 'spacemacs-indent-sensitive-modes 'agda2-mode)
+
         (spacemacs|define-transient-state goal-navigation
           :title "Goal Navigation Transient State"
           :doc "\n[_f_] next [_b_] previous [_q_] quit"