From 78c74961ac82218f65cb40298ebf50ad219323b5 Mon Sep 17 00:00:00 2001
From: Aleksey Zubakov <aleks.zubakov@gmail.com>
Date: Fri, 21 Apr 2023 20:16:46 +0300
Subject: [PATCH] Some awesome lists

---
 sink.bib | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/sink.bib b/sink.bib
index c4a5cf1..69dad39 100644
--- a/sink.bib
+++ b/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}
+}