|
_layouts
|
Docs - don't create TOC entries for h4 headers
|
2018-06-14 10:27:31 -07:00 |
|
assets
|
Make docs hamburger button partially transparent
|
2018-06-12 18:06:07 -07:00 |
|
.gitignore
|
Add table of contents to docs pages
|
2018-02-26 17:42:42 -08:00 |
|
_config.yml
|
Start fleshing out docs site
|
2018-06-10 14:44:33 -07:00 |
|
Gemfile
|
Add table of contents to docs pages
|
2018-02-26 17:42:42 -08:00 |
|
Gemfile.lock
|
Add table of contents to docs pages
|
2018-02-26 17:42:42 -08:00 |
|
index.md
|
Add agda parser to the list on the docs site 🙇 @banacorn
|
2018-06-13 10:03:22 -07:00 |
|
section-2-using-parsers.md
|
Improve implementation page of docs
|
2018-06-20 09:49:23 -07:00 |
|
section-3-creating-parsers.md
|
Fix links in docs
|
2018-06-14 15:27:28 -07:00 |
