GitHub - joaomilho/tdd-idris: just exercises

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
Average.idr		Average.idr
Even.idr		Even.idr
Event.idr		Event.idr
MyPrelude.idr		MyPrelude.idr
Nat.idr		Nat.idr
Planets.idr		Planets.idr
Polymorphism.idr		Polymorphism.idr
ReverseREPL.idr		ReverseREPL.idr
StoreREPL.idr		StoreREPL.idr
biggerThanOne.idr		biggerThanOne.idr
counts.idr		counts.idr
expressions.idr		expressions.idr
listToTree.idr		listToTree.idr
logic.idr		logic.idr
mutual.idr		mutual.idr
overLength.idr		overLength.idr
palindrome.idr		palindrome.idr
recursive.idr		recursive.idr
shapes.idr		shapes.idr
topTen.idr		topTen.idr
total.idr		total.idr
vectTake.idr		vectTake.idr
vehicle.idr		vehicle.idr