Skip to content
GitLab
Explore
Sign in
Register
Artin Ghasivand
haskell
Issues
#7
Lhs2Tex and ottparse-pretty not available during CI
The CI should be updated to support Lhs2Tex for pdf, and ottparse-pretty for debugging.