On Mon, Mar 2, 2015 at 6:50 AM, Keean Schupke <[email protected]> wrote:
> > > On 2 March 2015 at 14:11, Jonathan S. Shapiro <[email protected]> wrote: >> >> But Matt, there *are* no arity-abstract applications. The only *real* >> applications are the arity-concrete applications! >> > > This :-) > > - All applications are arity-concrete. > > - All local definitions are arity-abstract. > I understand what you are saying here, but you are derailing what I am trying to say. Abstract applications are just that: abstract. At the end of the day, the only applications that actually run on a real machine are concrete applications. That's just as true for local applications as any other. I'll answer your question separately. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
