Name | Last commit | Last update |
---|---|---|
.gitignore | ||
.gitlab-ci.yml | ||
Makefile | ||
README.md | ||
grammar.ott | ||
haskell.bib | ||
haskell.mng | ||
listproc.sty | ||
ottall.tex | ||
ottalt.sty | ||
rules.ott |
Fix of issue #3: Add Rule E-SYN See merge request !1
Name | Last commit | Last update |
---|---|---|
.gitignore | ||
.gitlab-ci.yml | ||
Makefile | ||
README.md | ||
grammar.ott | ||
haskell.bib | ||
haskell.mng | ||
listproc.sty | ||
ottall.tex | ||
ottalt.sty | ||
rules.ott |