fix: add missing instance

leanprover · Mar 21, 2024 · f7a7004 · f7a7004
1 parent 624d174
commit f7a7004
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/examples/website-examples/Examples.lean b/examples/website-examples/Examples.lean
@@ -3,6 +3,8 @@ import Examples.Basic
 import SubVerso.Examples
 open SubVerso.Examples
 
+deriving instance Repr for Tree
+
 %example basic
 def t : Tree Nat := .branch (.branch .leaf 1 .leaf) 2 (.branch (.branch .leaf 3 .leaf) 4 .leaf)