Commit e958e0c1 authored by Nicolas Lenz's avatar Nicolas Lenz ❄️
Browse files

Update 'comparison.md'

parent e1da26c6

comparison.md

+1 −1
Original line number Diff line number Diff line
@@ -55,7 +55,7 @@ f x = putStrLn $ "Show: " ++ show x 
```



```

trait Showable (a : Type)

trait (a : Type) : Showable

    show : a -> String



Person : Showable