mshang

14 lat temudiscuss

> Curry-Howard executable version of the claim

I don't see how the code provided has any relation to the Curry-Howard correspondence, which is a statement relating types and proofs.

mshang

14 lat temudiscuss

Then why bother using Heroku at all? GitHub Pages supports Jekyll.

mshang

14 lat temudiscuss

Sounds a bit like Fat Dog Exchange. Does anyone know what happened to that site?

mshang

14 lat temudiscuss

You could use yubnub or bunny1 to do this.

mshang

14 lat temudiscuss

I think it was meant that the marginal cost function isn't continuous.

Submissions

Why don't public companies report their finances more often? (Quora)

comments