|
|
ebde4773e6
|
use megaparsec for ebnf
|
2021-06-05 08:51:41 +02:00 |
|
|
|
ba5522187c
|
lots of langfilter stuff, mostly lántas script
|
2021-04-29 11:52:44 +02:00 |
|
|
|
6f2fa30212
|
add ebnf highlighting filter
|
2021-04-28 12:38:37 +02:00 |
|
|
|
d61d7c791f
|
improve langfilter & add glosses
|
2020-11-04 19:04:55 +01:00 |
|
|
|
d88c4c14b3
|
add initial version of pandoc filter
|
2020-08-18 18:33:25 +02:00 |
|
