suzanne.soy/trivial
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[rebuttal] typo: meant to use ~s

Browse Source
This commit is contained in:
Ben Greenman 2016-05-03 03:44:28 -04:00
parent 25be781ef5
commit f880e95528
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
icfp-2016/usage.scrbl
View File

@ -108,7 +108,7 @@ For all other syntax patterns, we perform the identity elaboration.
\vspace{-4mm} \vspace{-4mm}
}| }|
@racketblock[ @racketblock[
> ⟦(printf "~a")⟧ > ⟦(printf "~s")⟧
==> ⊥ ==> ⊥
> ⟦(printf "~b" 2)⟧ > ⟦(printf "~b" 2)⟧
==> (printf "~b" (2 :: Integer)) ==> (printf "~b" (2 :: Integer))