on master help sign in
Merge pull request #525 from reynir/master
54a89bfEdwin Brady
lib/Prelude.idr+3
@@ -47,6 +47,9 @@ instance Show Bool where
47 show True = "True"
47 show True = "True"
48 show False = "False"
48 show False = "False"
49
49
50+instance Show () where
51+ show () = "()"
52+
50instance Show Bits8 where
53instance Show Bits8 where
51 show = prim__toStrB8
54 show = prim__toStrB8
52
55