type-driven-with-idris

Name		Name	Last commit message	Last commit date
Latest commit History 59 Commits
.gitignore		.gitignore
Adder.idr		Adder.idr
Average.idr		Average.idr
DataStore.idr		DataStore.idr
DataTypes.idr		DataTypes.idr
DependentPatternMatching.idr		DependentPatternMatching.idr
FCTypes.idr		FCTypes.idr
Hello.idr		Hello.idr
LICENSE		LICENSE
Loops.idr		Loops.idr
Printf.idr		Printf.idr
README.md		README.md
ReadNum.idr		ReadNum.idr
ReadVect.idr		ReadVect.idr
VecSort.idr		VecSort.idr
Vect.idr		Vect.idr
Vehicle.idr		Vehicle.idr
WordLength.idr		WordLength.idr
WordLength_vect.idr		WordLength_vect.idr

Provide feedback