I think you're missing that this was was research project, and they were trying ...

		scott_s on March 24, 2012 \| parent \| context \| favorite \| on: "BitC isn't going to work in its current form" I think you're missing that this was was research project, and they were trying to answer the fundamental question, can we build a verifiable systems language?