Learn Idris
Problem list
Playground
Login with GitHub
Implement List take
total my_take : Nat -> List a -> List a
Please log in; otherwise your solution and progress won't be saved
Login with GitHub
I don't want to log in, show me textarea