> Or maybe I'm an idealistic pseudo-intellectual clod, entirely detached
> from reality, who should go hide in the mountains with my dependent
> types.  It's not impossible.  In that case, the hope is I'll still
> somehow be constructive.

i only desperately wish i already had a going concern so i could beg
to pay you to come work on cool things with such tools, and to teach
others. :-)
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to