Re: Unions, program proofs and the Halting Problem
Posted: Sun Mar 23, 2014 12:02 am
You're trying to make everything by yourself, but if the time is in a good supply - why not?Brendan wrote:I'll need to figure out how debugging, profiling and unit testing should be done (which will require a lot of research, as I strongly suspect these things shouldn't be done how they've traditionally been done).