Update THANKS.md

Author: kamil-adam

docs/users/THANKS.md

@@ -1,9 +1,14 @@
 # 🙏 THANKS
 
 **HelPS** was inspired by many resources:
-* [Compiler Quest](https://github.com/blynn/compiler) - main inspiration
-* [A compiler for a subset of Haskell to Combinatory Logic](https://github.com/siraben/mini-haskell) - very simply, working case from Compiler Quest
-* [hs2lazy -- Haskell to Lazy K compiler](https://github.com/tromp/hs2blc)
-* [hs2bf - Haskell to brainfuck compiler](https://github.com/xanxys/hs2bf)
+* Language:
+  * [Compiler Quest](https://github.com/blynn/compiler) - main inspiration
+  * [A compiler for a subset of Haskell to Combinatory Logic](https://github.com/siraben/mini-haskell) - very simply, working case from Compiler Quest
+  * [hs2lazy -- Haskell to Lazy K compiler](https://github.com/tromp/hs2blc)
+  * [hs2bf - Haskell to brainfuck compiler](https://github.com/xanxys/hs2bf)
+* Library:
+  * https://github.com/purescript/purescript-prelude
+  * https://github.com/idris-lang/Idris2
+  * https://github.com/kowainik/relude
 
 ## 🦄 🌈 ❤️ 💛 💚 💙 🤍 🖤