Minor: Fix libaries typo in introduction.md doc file#398

jespercockx merged 1 commit intoagda:masteragda/agda2hs:masterfrom

J0s3c4rl0s:masterJ0s3c4rl0s/agda2hs:masterCopy head branch name to clipboard