From: Siraaj Khandkar Date: Thu, 13 Sep 2018 17:18:23 +0000 (-0400) Subject: Define the environments (for types and values) X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;h=c0bdf964d389a2b9465fad44aa1f1f849c72140f;hp=c0bdf964d389a2b9465fad44aa1f1f849c72140f;p=tiger.ml.git Define the environments (for types and values) ---