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

Remove redundant text

Browse source 
Ooops, my original edit left some redundant text.
This commit is contained in:
Philip Wadler 2020-01-10 11:41:20 -03:00 committed by GitHub
parent 170496699b
commit a49205abd3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/plfa/part1/Naturals.lagda.md
View file

@ -990,6 +990,3 @@ move the cursor onto the character and use `quail-show-key` with:
You'll see a key sequence of the character in mini buffer.
If you run `M-x qualy-show-key` on say `∸`, you will see `\.-` for the character.
We write `C-b` to stand for control-b, and similarly. One can also navigate
left and right by typing the digits that appear in the displayed list.