remove a space in a comment
authorAnders Mörtberg <andersmortberg@gmail.com>
Tue, 5 Jan 2016 11:19:45 +0000 (12:19 +0100)
committerAnders Mörtberg <andersmortberg@gmail.com>
Tue, 5 Jan 2016 11:19:45 +0000 (12:19 +0100)
commitfc9f3d43e8429b2c84dcd37ea4bc67a15891f066
treede5ac847af9d1c4bbb141c74f454839d66ddd586
parent630a7a205977e4dbf7b213899e3b98fe92d0c58c
remove a space in a comment
TypeChecker.hs