GitHub - sithys/tdd_idris_book: Following examples from "Type Driven Development with Idris"

sithys / tdd_idris_book Public

Following examples from "Type Driven Development with Idris"

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
Adder.idr		Adder.idr
AveMain.idr		AveMain.idr
Average.idr		Average.idr
CaseTypes.idr		CaseTypes.idr
DataStore.idr		DataStore.idr
FTCTypes.idr		FTCTypes.idr
HOF.idr		HOF.idr
Hello.idr		Hello.idr
Loops.idr		Loops.idr
Mat.idr		Mat.idr
MyVect.idr		MyVect.idr
PrintLength.idr		PrintLength.idr
Printf.idr		Printf.idr
ReadNum.idr		ReadNum.idr
ReadVect.idr		ReadVect.idr
SumInputs.idr		SumInputs.idr
Tree.idr		Tree.idr
TryIndex.idr		TryIndex.idr
TypeFuns.idr		TypeFuns.idr
TypeSynonym.idr		TypeSynonym.idr
VecSort.idr		VecSort.idr
Vehicle.idr		Vehicle.idr
WordLength.idr		WordLength.idr