Searched refs:smashTel (Results 1 – 1 of 1) sorted by relevance
198 sep [ pretty (Tel $ smashTel $ List1.toList tel) <+> arrow327 smashTel :: Telescope -> Telescope328 smashTel (TBind r xs e : function330 | prettyShow e == prettyShow e' = smashTel (TBind r (xs Semigroup.<> ys) e : tel)331 smashTel (b : tel) = b : smashTel tel function332 smashTel [] = [] function