yitzchak's Packages

Sort: Most downloads
Sort options

dicy

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