Me Here Wrote:

> Lookup Curry-Howard isomorphisms.

Hmm... I don't understand. It's uncommon for C programmer to call compiler silly just because it odesn't want to dance for him. Or it were very fast and short moves through?..

terranium wrote:

> Me Here Wrote:
> 
> > Lookup Curry-Howard isomorphisms.
> 
> Hmm... I don't understand.

Understood.

b.
--