import Data.Vect

%default total


-- variable


-- function1 incr


-- function2 add 


-- adt sum type


-- function adt show


-- Nat 


-- mylist


-- variable xs vect


-- vtake 


-- vtake to string


-- vappend

