From 52f890211527588618bbc6027653cb03246ebca2 Mon Sep 17 00:00:00 2001 From: David Thrane Christiansen Date: Thu, 21 Mar 2024 11:45:36 +0100 Subject: [PATCH] fix: add missing instance --- examples/website-examples/Examples.lean | 2 ++ 1 file changed, 2 insertions(+) diff --git a/examples/website-examples/Examples.lean b/examples/website-examples/Examples.lean index f96b0d2..70c4b79 100644 --- 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)