mshang

> 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.

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

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

You could use yubnub or bunny1 to do this.

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