On Sun, Jul 4, 2010 at 11:16 AM, Daniel Fischer
<daniel.is.fischer@web.de> wrote:
> On Sunday 04 July 2010 16:05:48, Jorden M wrote:
>> > Now that I've had a really short look at Axioms, I think the Haskell
>> > equivalent would be QuickCheck properties. After all, Axioms are not
>> > enforced by the compiler, their only effect is documentation. Granted,
>> > they
>>
>> Really? I thought they were.
>>
>
> I think that's not even possible in general.

It would equate to solving the Halting Problem, I suppose.

Nope, it would just take long (ok, very long) to compute. Halting problem is undecidable in general.