Some awesome lists

sink.bib

@@ -33,3 +33,23 @@
 	note = {[Online; accessed 21. Apr. 2023]},
 	url = {https://github.com/albohlabs/awesome-haskell}
 }
+
+@misc{github-plt,
+	author = {steshaw},
+	title = {{plt}},
+	journal = {GitHub},
+	year = {2023},
+	month = apr,
+	language = {english},
+	note = {[Online; accessed 21. Apr. 2023]},
+	url = {https://github.com/steshaw/plt}
+}
+
+@misc{plf-agda,
+	title = {{Programming Language Foundations in Agda {\textendash} Table of Contents}},
+	year = {2023},
+	month = apr,
+	language = {english},
+	note = {[Online; accessed 21. Apr. 2023; nice reference]},
+	url = {https://plfa.github.io}
+}