Comment by IsTom

1 hour ago

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

0 comments