Fix bug in type checker for HITs
authorAnders <mortberg@chalmers.se>
Wed, 15 Apr 2015 09:47:06 +0000 (11:47 +0200)
committerAnders <mortberg@chalmers.se>
Wed, 15 Apr 2015 09:47:06 +0000 (11:47 +0200)
commit7b1dbe31c6e993221495eb660f213a154d74ea61
treebbf15ffec042a2c354f3601b6b71f0f99c0eddd0
parentb6db2f91011bde17b4f96263c1d129a0d6c7b955
Fix bug in type checker for HITs
TypeChecker.hs