That is pretty sweet. On a much less cool level, I've been designing a similar s...

		yters on Dec 16, 2008 \| parent \| context \| favorite \| on: SC, an s-expression based front end to C That is pretty sweet. On a much less cool level, I've been designing a similar system to do some basic formal verification of my java code.