Sockeye: Refactor arguments type check
authorDaniel Schwyn <schwyda@student.ethz.ch>
Wed, 26 Jul 2017 16:15:27 +0000 (18:15 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Wed, 26 Jul 2017 16:15:27 +0000 (18:15 +0200)
commit4564ef41195757492376b7d8b10dbff182162cfd
treed6c784fb5a407b330359bd7d27c9e8ecee7afdef
parent2cd34140a517be41e238b8e3478bcb58d3ecb313
Sockeye: Refactor arguments type check

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