git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
Merge pull request #3922 from eraserhd/implicit-doc-fix
8c5de76
Ahmad Salim Al-Sibahi
9 years ago
docs/reference/syntax-guide.rst
+7
−1
compare with master
unified
split
@@ -387,10 +387,16 @@ Totality
387
::
387
::
388
388
389
total
389
total
390
−
implicit
391
partial
390
partial
392
covering
391
covering
393
392
393
+
Implicit Coercion
394
+
^^^^^^^^^^^^^^^^^
395
+
396
+
::
397
+
398
+
implicit
399
+
394
Options
400
Options
395
^^^^^^^
401
^^^^^^^
396
402
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list