Mercurial > hg > Gears > GearsAgda

annotate AgdaLink.txt @ 720:e9d781c38629

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Ok this is a termination bug og agda
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 16 May 2022 17:55:19 +0900
parents 4f692df9b3db
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
544
4f692df9b3db add reference
ryokka
parents:
diff changeset
1 http://web.student.chalmers.se/groups/datx02-dtp/report.pdf
4f692df9b3db add reference
ryokka
parents:
diff changeset
2
4f692df9b3db add reference
ryokka
parents:
diff changeset
3
4f692df9b3db add reference
ryokka
parents:
diff changeset
4
4f692df9b3db add reference
ryokka
parents:
diff changeset
5 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
4f692df9b3db add reference
ryokka
parents:
diff changeset
6
4f692df9b3db add reference
ryokka
parents:
diff changeset
7
4f692df9b3db add reference
ryokka
parents:
diff changeset
8 https://akaposi.github.io/proplogic.pdf
4f692df9b3db add reference
ryokka
parents:
diff changeset
9
4f692df9b3db add reference
ryokka
parents:
diff changeset
10
4f692df9b3db add reference
ryokka
parents:
diff changeset
11
4f692df9b3db add reference
ryokka
parents:
diff changeset
12 Book:
4f692df9b3db add reference
ryokka
parents:
diff changeset
13 Verified Functional Programming in Agda
4f692df9b3db add reference
ryokka
parents:
diff changeset
14 url: https://www.amazon.co.jp/dp/B01K0MK318/ref=dp-kindle-redirect?_encoding=UTF8&btkr=1
4f692df9b3db add reference
ryokka
parents:
diff changeset
15