michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix typo

Browse source
This commit is contained in:
Alexandre Moreno 2020-02-20 13:10:04 +08:00 committed by GitHub
parent dc7da4961b
commit 6f27a9b7e6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/plfa/part2/BigStep.lagda.md
View file

@ -24,7 +24,7 @@ after we have developed a denotational semantics for the lambda
calculus, at which point the proof is an easy corollary of properties calculus, at which point the proof is an easy corollary of properties
of the denotational semantics. of the denotational semantics.
We present the call-by-name strategy as a relation between an an input We present the call-by-name strategy as a relation between an input
term and an output value. Such a relation is often called a _big-step term and an output value. Such a relation is often called a _big-step
semantics_, written `M ⇓ V`, as it relates the input term `M` directly semantics_, written `M ⇓ V`, as it relates the input term `M` directly
to the final result `V`, in contrast to the small-step reduction to the final result `V`, in contrast to the small-step reduction