Mercurial > hg > Papers > 2018 > nozomi-master
graph
-
Add Meta DataSegment descriptionFri, 03 Feb 2017 10:23:26 +0900, by atton
-
Add normal level gotoWed, 01 Feb 2017 15:37:11 +0900, by atton
-
Mini fixesWed, 01 Feb 2017 15:27:15 +0900, by atton
-
Writing cs/ds in agdaWed, 01 Feb 2017 14:52:01 +0900, by atton
-
Split cbc-type.texWed, 01 Feb 2017 13:27:58 +0900, by atton
-
Add pdfTue, 31 Jan 2017 19:26:31 +0900, by atton
-
Add reasoningTue, 31 Jan 2017 17:30:07 +0900, by atton
-
Writing agda description ......Tue, 31 Jan 2017 17:20:50 +0900, by atton
-
Writing agda description ...Tue, 31 Jan 2017 17:20:04 +0900, by atton
-
Writing agda descriptionTue, 31 Jan 2017 16:41:36 +0900, by atton
-
Writing Agda descriptionTue, 31 Jan 2017 11:57:12 +0900, by atton
-
Add natural deduction and curry-howard isomorphismTue, 31 Jan 2017 10:30:08 +0900, by atton
-
Add agda.texMon, 30 Jan 2017 16:59:53 +0900, by atton
-
Wrote type.texMon, 30 Jan 2017 16:41:56 +0900, by atton
-
Mini fixesMon, 30 Jan 2017 14:54:01 +0900, by atton