Idris primitive types
Implement Nat multiplication
Reverse list in Idris
Broken vector append
More broken vectors