diff --git a/src/Main.elm b/src/Main.elm
index bca5693..d7e349e 100644
--- a/src/Main.elm
+++ b/src/Main.elm
@@ -4,6 +4,7 @@ import Browser
 import Html exposing (Html)
 import Html.Events exposing (onInput, onClick)
 import Html.Attributes exposing (type_, class, classList, value)
+import Html.Lazy
 import Bergamot.Syntax exposing (..)
 import Bergamot.Search exposing (..)
 import Bergamot.Rules exposing (..)
@@ -114,7 +115,7 @@ view m = Html.div [ class "bergamot-root" ]
     , viewEditModeSelector m.editMode [(Query, "Query"), (Syntax, "Language Term")]
     , viewTab m.tab
         (viewSection "Rules" <| Html.textarea [ onInput SetProgram ] [ Html.text m.program ])
-        (viewRules m.program)
+        (Html.Lazy.lazy viewRules m.program)
     , viewSection "Query" <| Html.input [ type_ "text", onInput SetQuery, value m.query ] []
     , viewProofTree m.editMode m.program m.query
     ]