From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Thu, 13 Sep 2018 22:40:01 +0000 (-0400)
Subject: WIP type-checking
X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;h=523e2b063b9ba20329af61e18dc9a5ccbaca06a0;hp=523e2b063b9ba20329af61e18dc9a5ccbaca06a0;p=tiger.ml.git

WIP type-checking
---