From: Michael Andreen <harv@ruin.nu>
Date: Tue, 14 Mar 2006 22:07:53 +0000 (+0000)
Subject: semantics and some more typing rules
X-Git-Url: https://ruin.nu/git/?a=commitdiff_plain;h=f6be9dc6266331e920134c67072fde3d5a2cfdf2;hp=f6be9dc6266331e920134c67072fde3d5a2cfdf2;p=proglang.git

semantics and some more typing rules
---