diff samples/logical.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
line wrap: on
line diff