GitHub - tkersey/PolyLens: Polynomial Lens

Name		Name	Last commit message	Last commit date
Latest commit History 21 Commits
.gitignore		.gitignore
Lens.idr		Lens.idr
Poly.idr		Poly.idr
PolyLens.pdf		PolyLens.pdf
PolyLens.tex		PolyLens.tex
ProPolyLens.pdf		ProPolyLens.pdf
ProPolyLens.tex		ProPolyLens.tex

About

Polynomial Lens

Report repository

Releases

No releases published

Packages

No packages published

Languages

TeX 66.1%
Idris 33.9%