lhs2tex/Library at master · casperbp/lhs2tex · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
README		README
agda.fmt		agda.fmt
beamer.fmt		beamer.fmt
beamerboxed.fmt		beamerboxed.fmt
colorcode.fmt		colorcode.fmt
exists.fmt		exists.fmt
forall.fmt		forall.fmt
greek.fmt		greek.fmt
jfpcompat.fmt		jfpcompat.fmt
lambda.fmt		lambda.fmt
polycode.fmt		polycode.fmt
spacing.fmt		spacing.fmt

README

This is a loose collection of .fmt and .sty files that are
useful in the context of lhs2TeX.