GitHub - puffnfresh/stl-idris: Code from my StrangeLoop 2014 Idris presentation.

puffnfresh / stl-idris Public

Code from my StrangeLoop 2014 Idris presentation.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
images		images
.gitignore		.gitignore
algebraic.idr		algebraic.idr
binary.idr		binary.idr
binary.main.idr		binary.main.idr
complexity.idr		complexity.idr
slides.md		slides.md

About

Code from my StrangeLoop 2014 Idris presentation.

No releases published

No packages published