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

Merge pull request #467 from moleike/patch-2

Browse source 
fix typo
This commit is contained in:
Wen Kokke 2020-02-20 12:55:00 +00:00 committed by GitHub
commit 134b06dbe1
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