Mercurial > hg > Papers > 2018 > nozomi-master
graph
-
Fix returnMon, 13 Feb 2017 13:59:20 +0900, by atton
-
Writing slide...Mon, 13 Feb 2017 13:47:04 +0900, by atton
-
Fix coverMon, 13 Feb 2017 13:22:18 +0900, by atton
-
Added tag teacher-submit for changeset 0ab2de92120bMon, 13 Feb 2017 10:36:46 +0900, by atton
-
Added tag 1F-submit for changeset 0a4646310261 teacher-submitMon, 13 Feb 2017 10:33:15 +0900, by atton
-
Generate slideSun, 12 Feb 2017 18:10:33 +0900, by atton
-
Writing slide ...Sun, 12 Feb 2017 18:10:16 +0900, by atton
-
UpdateSun, 12 Feb 2017 14:29:28 +0900, by atton
-
Self reviewSun, 12 Feb 2017 11:52:20 +0900, by atton
-
UpdateSun, 12 Feb 2017 11:13:08 +0900, by atton
-
Update abstractSun, 12 Feb 2017 10:45:45 +0900, by atton
-
fixFri, 10 Feb 2017 17:22:00 +0900, by Shinji KONO
-
UpdateThu, 09 Feb 2017 19:08:11 +0900, by atton
-
FixThu, 09 Feb 2017 18:58:53 +0900, by atton
-
UpdateThu, 09 Feb 2017 18:54:18 +0900, by atton
-
Add figureThu, 09 Feb 2017 18:52:09 +0900, by atton
-
UpdateThu, 09 Feb 2017 18:37:26 +0900, by atton
-
Add figure meta-hierarchyThu, 09 Feb 2017 18:30:02 +0900, by atton
-
FixThu, 09 Feb 2017 18:12:12 +0900, by atton
-
Add figureThu, 09 Feb 2017 17:50:50 +0900, by atton
-
Update figThu, 09 Feb 2017 16:34:07 +0900, by atton
-
Fix lstinputThu, 09 Feb 2017 15:40:11 +0900, by atton
-
Update curry-howard isomorphismThu, 09 Feb 2017 15:36:52 +0900, by atton
-
Update type.texThu, 09 Feb 2017 13:57:35 +0900, by atton
-
Add simple/sub type descriptionThu, 09 Feb 2017 12:56:22 +0900, by atton
-
UpdateWed, 08 Feb 2017 17:39:12 +0900, by atton
-
UpdateWed, 08 Feb 2017 17:37:08 +0900, by atton
-
Update summaryWed, 08 Feb 2017 17:25:27 +0900, by atton
-
Update agda descriptionWed, 08 Feb 2017 15:52:44 +0900, by atton