use f x in tex

This commit is contained in:
Stephen Diehl 2015-01-07 14:07:07 -05:00
parent aa6143b7cb
commit 65c7646f7d

View File

@ -46,8 +46,8 @@ dominant models:
* Call-by-need: arguments passed unevaluated but an expression is only evaluated
once and shared upon subsequent references
Given an expression ``f x`` the reduction in different evaluation models
proceeds differently:
Given an expression $f x$ the reduction in different evaluation models proceeds
differently:
*Call-by-value*: