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

Fix: missing close backquote on inline code.

Browse source
This commit is contained in:
Pedro Minicz 2019-10-21 11:41:11 -03:00
parent 84449daa5c
commit 1615048a31
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/part1/Lists.lagda.md
View file

@ -656,7 +656,7 @@ Show
foldr _∷_ [] xs ≡ xs foldr _∷_ [] xs ≡ xs
Show as a consequence of `foldr-++ above that Show as a consequence of `foldr-++` above that
xs ++ ys ≡ foldr _∷_ ys xs xs ++ ys ≡ foldr _∷_ ys xs