yitzchak's Packages

Sort: Least recently updated
Sort options

dicy

Compile LaTeX, knitr, literate Agda, literate Haskell and Pweave documents using DiCy.
yitzchak
664