@@ -379,6 +379,7 @@ addImplicitDiffs x y
379 getTm = b' } : bs')
379 getTm = b' } : bs')
380 else (a { getTm = a' } : as',
380 else (a { getTm = a' } : as',
381 b { getTm = b' } : bs')
381 b { getTm = b' } : bs')
382+ addShows xs ys = (xs, ys)
382 addI (PLam n a b) (PLam n' c d)
383 addI (PLam n a b) (PLam n' c d)
383 = let (a', c') = addI a c
384 = let (a', c') = addI a c
384 (b', d') = addI b d in
385 (b', d') = addI b d in