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

fixes to README

Browse source
This commit is contained in:
wadler 2017-07-19 21:32:34 +01:00
parent 02f9e5fdf8
commit a4856056e8
1 changed files with 8 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
README.md
View file

@ -19,7 +19,9 @@ from Coq to Agda. The authors are
http://homepages.inf.ed.ac.uk/wadler/ http://homepages.inf.ed.ac.uk/wadler/
) )
## How to host literal code ## Instructions
_How to host literate code_
In directory `sf/` the following: In directory `sf/` the following:
@ -35,15 +37,15 @@ For markdown commands see [Daring Fireball](
https://daringfireball.net/projects/markdown/syntax https://daringfireball.net/projects/markdown/syntax
). ).
## Important git commands: _Important git commands_
git pull git pull
git commit -am "message" git commit -am "message"
git push git push
## [Unicode abbreviations]( _[Unicode abbreviations](
https://github.com/agda/agda/blob/master/src/data/emacs-mode/agda-input.el#L194 https://github.com/agda/agda/blob/master/src/data/emacs-mode/agda-input.el#L194
). )_
\to → \to →
\u+ ⊎ \u+ ⊎
@ -52,9 +54,9 @@ https://github.com/agda/agda/blob/master/src/data/emacs-mode/agda-input.el#L194
x\_1 x₁ x\_1 x₁
x\_i xᵢ x\_i xᵢ
## Bindings for [Agda mode]( _Bindings for [Agda mode](
http://agda.readthedocs.io/en/latest/tools/emacs-mode.html http://agda.readthedocs.io/en/latest/tools/emacs-mode.html
) )_
? create hole ? create hole
{!...!} create holde {!...!} create holde