bugix: take the border of the system where is=js
authorSimon Huber <hubsim@gmail.com>
Thu, 23 Apr 2015 12:57:28 +0000 (14:57 +0200)
committerSimon Huber <hubsim@gmail.com>
Thu, 23 Apr 2015 12:57:28 +0000 (14:57 +0200)
commit97c1fb49dd36e19e795e4faf9d05c13d1f7b282e
tree0d0917c0fe325facb09e693eee6bc0f4e043c1e3
parent331fb6f79a56dc2141892f891c2275cbe42f6576
bugix: take the border of the system where is=js
TypeChecker.hs