Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
README.md		README.md
capitulo10.idr		capitulo10.idr
capitulo11.idr		capitulo11.idr
capitulo12.idr		capitulo12.idr
capitulo13.idr		capitulo13.idr
capitulo2.idr		capitulo2.idr
capitulo3.idr		capitulo3.idr
capitulo4.idr		capitulo4.idr
capitulo5.idr		capitulo5.idr
capitulo6.idr		capitulo6.idr
capitulo7.idr		capitulo7.idr
capitulo8.idr		capitulo8.idr
capitulo9.idr		capitulo9.idr

Repository files navigation

Type Driven Development with Idris

Ejercicios del libro Type Driven Development with Idris

About

Ejercicios del libro Type Driven Development with Idris

4 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages