syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Link to docs.

This commit is contained in:
Tony Garnock-Jones 2016-04-07 09:45:25 +02:00
parent 5cbb571bf0
commit 4012252751
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
index.md
View File

@ -110,9 +110,7 @@ implementations along with some larger example programs.
## Documentation
Forthcoming.
<!-- An early draft is available [here]({{ page.link.docs }}). -->
An early draft is available [here]({{ page.link.docs }}).
## Papers