Sockeye: Cleanup checker
authorDaniel Schwyn <schwyda@student.ethz.ch>
Fri, 7 Jul 2017 08:17:30 +0000 (10:17 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Fri, 7 Jul 2017 08:17:30 +0000 (10:17 +0200)
commit4de81aa25264d75131cb7f2b3debee99c57ee0ed
treede259ada4950c6215f2dc3a6bf6883e3f7aeffe7
parentce448f6639501e699f886a8fb4d6ef87182d2525
Sockeye: Cleanup checker

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
tools/sockeye/SockeyeChecker.hs