Mercurial > hg > Members > Moririn

diff AgdaLink.txt @ 779:68904fdaab71

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
te
author Moririn < Moririn@cr.ie.u-ryukyu.ac.jp>
date Mon, 10 Jul 2023 19:59:14 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/AgdaLink.txt	Mon Jul 10 19:59:14 2023 +0900
@@ -0,0 +1,15 @@
+http://web.student.chalmers.se/groups/datx02-dtp/report.pdf
+
+
+
+https://www.google.co.jp/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&ved=0ahUKEwj-4dbpzM_YAhXDGpQKHbHXAjcQFggnMAA&url=http%3A%2F%2Fhome.iitk.ac.in%2F~shrutib%2FCS395a%2Freport.pdf&usg=AOvVaw1Qp_3vb2fO-RkdfEGT0Fun
+
+
+https://akaposi.github.io/proplogic.pdf
+
+
+
+Book:
+Verified Functional Programming in Agda
+url: https://www.amazon.co.jp/dp/B01K0MK318/ref=dp-kindle-redirect?_encoding=UTF8&btkr=1
+