Comment by IsTom

4 hours ago

I'm not sure if calculus of constructions comes naturally to people who didn't have some experience with functional programming.

0 comments