yurrriq/learning-idris not found