]> ruin.nu Git - proglang.git/commitdiff
semantics and some more typing rules
authorMichael Andreen <harv@ruin.nu>
Tue, 14 Mar 2006 22:07:53 +0000 (22:07 +0000)
committerMichael Andreen <harv@ruin.nu>
Tue, 14 Mar 2006 22:07:53 +0000 (22:07 +0000)

No differences found