Max Brunsfeld
|
308016b776
|
Clarify runtime vs parser generator in README
Fixes #182
|
2018-07-10 14:09:22 -07:00 |
|
Max Brunsfeld
|
531f2f48b1
|
Update list of available parsers
|
2018-07-05 16:45:27 -07:00 |
|
Max Brunsfeld
|
0e487011c0
|
Add agda parser to the list on the docs site 🙇 @banacorn
|
2018-06-13 10:03:22 -07:00 |
|
Max Brunsfeld
|
5b18fe672b
|
Link to the documentation site from the README
|
2018-06-12 17:43:55 -07:00 |
|
Max Brunsfeld
|
a7ffbd022f
|
Make docs page readable on mobile
|
2018-06-12 17:43:55 -07:00 |
|
Max Brunsfeld
|
d1665da21c
|
Add docs
|
2018-06-11 19:17:10 -07:00 |
|
Max Brunsfeld
|
7ad50f2731
|
Start fleshing out docs site
|
2018-06-10 14:44:33 -07:00 |
|
Max Brunsfeld
|
e3e7c8ed9d
|
Start work on grammar writing doc
[ci skip]
|
2018-02-26 00:38:54 -08:00 |
|
Max Brunsfeld
|
a2aa64ec97
|
Start work on github pages site
[ci skip]
|
2018-02-24 21:39:33 -08:00 |
|