Sockeye: Checker code improvements
authorDaniel Schwyn <schwyda@student.ethz.ch>
Fri, 7 Jul 2017 15:17:11 +0000 (17:17 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Fri, 7 Jul 2017 15:17:11 +0000 (17:17 +0200)
commit2c603a20823e68778f9c3a78a18e7cafd9738e3c
tree04d072e3a902c52551f7bc4877237534f3f5a2be
parent5af83d406b8e1d8aaa965ad20816e51b383ad881
Sockeye: Checker code improvements

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