GitHub - gbasler/idris-book: Exercises form Type-Driven Programming in Idris

gbasler / idris-book Public

Exercises form Type-Driven Programming in Idris

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
.gitignore		.gitignore
BSTree.idr		BSTree.idr
DataStore.idr		DataStore.idr
Double.idr		Double.idr
Generic.idr		Generic.idr
Hof.idr		Hof.idr
Longer.idr		Longer.idr
Loops.idr		Loops.idr
Partial.idr		Partial.idr
Picture.idr		Picture.idr
PrintLength.idr		PrintLength.idr
ReadNum.idr		ReadNum.idr
Tree.idr		Tree.idr
VecSort.idr		VecSort.idr
WordLength.idr		WordLength.idr
WordLength_vect.idr		WordLength_vect.idr
avg.idr		avg.idr
binomial_model.idr		binomial_model.idr
ch2_ex.idr		ch2_ex.idr
ch3_3_3.idr		ch3_3_3.idr
ch3_ex.idr		ch3_ex.idr
ch4_1_5_ex.idr		ch4_1_5_ex.idr
ch4_2_4.idr		ch4_2_4.idr
ch4_3_5.idr		ch4_3_5.idr
ch5_1_4.idr		ch5_1_4.idr
ch5_3_ex.idr		ch5_3_ex.idr
ch5_ex.idr		ch5_ex.idr
choose.idr		choose.idr
data_types.idr		data_types.idr
deppairs.idr		deppairs.idr
hello.idr		hello.idr
matrix.idr		matrix.idr
pytha.idr		pytha.idr
readvect.idr		readvect.idr
tryindex.idr		tryindex.idr
types.idr		types.idr
vect.idr		vect.idr
vehicle.idr		vehicle.idr

Provide feedback