GitHub - vendethiel/dependent-printf: I'm terrible at this, eh.

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
printf.agda		printf.agda
printf.idr		printf.idr

About

I'm terrible at this, eh.

dependent-types printf idris agda

Report repository

Releases

No releases published

Packages

Languages