Mercurial > hg > Papers > 2018 > nozomi-master
graph
-
Added tag teacher-submit for changeset 0ab2de92120b2017-02-13, by atton
-
Generate slide2017-02-12, by atton
-
Writing slide ...2017-02-12, by atton
-
Update2017-02-12, by atton
-
Self review2017-02-12, by atton
-
Update2017-02-12, by atton
-
Update abstract2017-02-12, by atton
-
fix2017-02-10, by Shinji KONO
-
Update2017-02-09, by atton
-
Fix2017-02-09, by atton
-
Update2017-02-09, by atton
-
Add figure2017-02-09, by atton
-
Update2017-02-09, by atton
-
Add figure meta-hierarchy2017-02-09, by atton
-
Fix2017-02-09, by atton
-
Add figure2017-02-09, by atton
-
Update fig2017-02-09, by atton
-
Fix lstinput2017-02-09, by atton
-
Update curry-howard isomorphism2017-02-09, by atton
-
Update type.tex2017-02-09, by atton
-
Add simple/sub type description2017-02-09, by atton
-
Update2017-02-08, by atton
-
Update2017-02-08, by atton
-
Update summary2017-02-08, by atton
-
Update agda description2017-02-08, by atton
-
Reconstruct paper2017-02-08, by atton
-
Update chapter akasha2017-02-08, by atton
-
Add chapter akasha2017-02-08, by atton
-
First review2017-02-06, by atton
-
Add references2017-02-06, by atton
-
Add abstract2017-02-06, by atton
-
Add sources2017-02-06, by atton
-
Add sample source2017-02-06, by atton
-
Add summary2017-02-05, by atton
-
Update pdf2017-02-04, by atton
-
Update TODO2017-02-04, by atton
-
Add proof description2017-02-04, by atton
-
Add push/pop description2017-02-04, by atton
-
Add single linked stack2017-02-03, by atton
-
Mini fixes with ryokka-san2017-02-03, by atton
-
Add example of meta code segment execution2017-02-03, by atton
-
Add Meta CodeSegment description2017-02-03, by atton
-
Add Meta DataSegment description2017-02-03, by atton
-
Add normal level goto2017-02-01, by atton
-
Mini fixes2017-02-01, by atton
-
Writing cs/ds in agda2017-02-01, by atton
-
Split cbc-type.tex2017-02-01, by atton
-
Add pdf2017-01-31, by atton
-
Add reasoning2017-01-31, by atton
-
Writing agda description ......2017-01-31, by atton
-
Writing agda description ...2017-01-31, by atton
-
Writing agda description2017-01-31, by atton
-
Writing Agda description2017-01-31, by atton
-
Add natural deduction and curry-howard isomorphism2017-01-31, by atton
-
Add agda.tex2017-01-30, by atton
-
Wrote type.tex2017-01-30, by atton
-
Mini fixes2017-01-30, by atton
-
Wrote subtype2017-01-30, by atton