Merge pull request #240 from haskellfoundation/podcast_20

update Jesper's links

Author: nikivazou

podcast/20/links.markdown

@@ -1,7 +1,9 @@
 * [Jesper's website](https://jesper.sikanda.be/)
-* [Jesper's twitter](https://twitter.com/agdakx)
+* [Jesper's Mastodon](https://types.pl/@agdakx.)
 * [Agda](https://wiki.portal.chalmers.se/agda/Main/HomePage)
-* [Reasonable Agda Is Correct Haskell](https://github.com/agda/agda2hs)
+* [Reasonable Agda Is Correct Haskell](https://dl.acm.org/doi/10.1145/3546189.3549920)
+* [Agda2Haskell on github](https://github.com/agda/agda2hs)
 * [A tutorial for Automated Theorem Proving in Agda](https://link.springer.com/chapter/10.1007/11617990_10)
+* [GHC priorities for Agda](https://github.com/agda/agda/issues/6274)
 * [Liar Paradox](https://en.wikipedia.org/wiki/Liar_paradox)
 * [Workshop on the Implementation of Type Systems](https://popl22.sigplan.org/home/wits-2022)