Typing rules for Haskell

Name
Last commit
Last update
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...
grammar.ott Loading commit data...
haskell.bib Loading commit data...
haskell.mng Loading commit data...
listproc.sty Loading commit data...
ottalt.sty Loading commit data...
rules.ott Loading commit data...