Mercurial > hg > Papers > 2018 > nozomi-master

diff paper/atton-master.tex @ 10:2f944ab2f5f6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mini fixes
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Mon, 16 Jan 2017 16:40:22 +0900
parents f6931d3d59c0
children 13096ef2be8b
line wrap: on
line diff
--- a/paper/atton-master.tex	Mon Jan 16 16:28:42 2017 +0900
+++ b/paper/atton-master.tex	Mon Jan 16 16:40:22 2017 +0900
@@ -11,6 +11,7 @@
 \usepackage{listings}
 \usepackage{bussproofs}
 \usepackage{amssymb}
+\usepackage{amsmath}
 \usepackage[utf8]{inputenc}
 
 %\input{dummy.tex} %% font
@@ -74,8 +75,8 @@
 \makecommission
 
 %要旨
-% \input{abstract.tex}
-% \input{abstract_eng.tex}
+\input{abstract.tex}
+\input{abstract_eng.tex}
 
 %目次
 \tableofcontents
@@ -106,7 +107,7 @@
 \section{部分型と Continuation based C}
 
 \chapter{証明支援系言語 Agda による証明手法}
-\section{TODO: Agda tutorial 的なもの}
+\section{依存型を持つ証明支援系言語 Agda}
 \section{Natural Deduction}
 \section{Curry-Howard Isomorphism}
 \section{Reasoning}