From a3973a0b3816e69983c0cec6f8eff8f15cea560b Mon Sep 17 00:00:00 2001 From: Leon Vatthauer Date: Thu, 9 Nov 2023 11:41:35 +0000 Subject: [PATCH] Add "delay monad in agda" slides --- Literature.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Literature.md b/Literature.md index e42eba8..675c9e7 100644 --- a/Literature.md +++ b/Literature.md @@ -2,4 +2,5 @@ 1. *The* paper https://arxiv.org/pdf/2102.11828.pdf 2. Delay Monad by Capretta https://arxiv.org/pdf/cs/0505037.pdf 3. Altenkirch et al. show problems of the delay monad https://arxiv.org/pdf/1610.09254.pdf -4. Chapman et al. agda formalization of the delay monad https://niccoloveltri.github.io/mscs_final.pdf \ No newline at end of file +4. Chapman et al. agda formalization of the delay monad https://niccoloveltri.github.io/mscs_final.pdf +5. Delay Monad in Agda: https://www.cse.chalmers.se/~abela/talkTYPES14.pdf