diff modules/false.tp @ 129:09b65b364927

Some old changes to the WIP type checker
author Mike Pavone <pavone@retrodev.com>
date Tue, 06 Aug 2013 00:17:44 -0700
parents 59a94f3ad56f
children 1417f13f219c
line wrap: on
line diff