GitHub - Pzixel/idris-playground

Name		Name	Last commit message	Last commit date
Latest commit History 67 Commits
chapter10.3		chapter10.3
.editorconfig		.editorconfig
.gitattributes		.gitattributes
.gitignore		.gitignore
chapter10.1.idr		chapter10.1.idr
chapter10.2.idr		chapter10.2.idr
chapter11.1.idr		chapter11.1.idr
chapter11.2.idr		chapter11.2.idr
chapter11.3.idr		chapter11.3.idr
chapter13.1.idr		chapter13.1.idr
chapter13.2.idr		chapter13.2.idr
chapter14.1.idr		chapter14.1.idr
chapter14.2.idr		chapter14.2.idr
chapter14.3.idr		chapter14.3.idr
chapter15.1.idr		chapter15.1.idr
chapter15.2.idr		chapter15.2.idr
chapter3.idr		chapter3.idr
chapter4.idr		chapter4.idr
chapter5.idr		chapter5.idr
chapter6_part1.idr		chapter6_part1.idr
chapter6_part2.idr		chapter6_part2.idr
chapter8.1.idr		chapter8.1.idr
chapter8.2.idr		chapter8.2.idr
chapter8.3.idr		chapter8.3.idr
chapter9.1.idr		chapter9.1.idr
chapter9.2.idr		chapter9.2.idr
sets.idr		sets.idr
sets2.idr		sets2.idr
split-test.idr		split-test.idr
whileM.idr		whileM.idr