Mercurial > hg > Papers > 2017 > atton-master

diff paper/atton-master.tex @ 28:36ce493604fb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add akasha result
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Mon, 23 Jan 2017 18:41:23 +0900
parents c748fb296673
children 6271235aa6a3
line wrap: on
line diff
--- a/paper/atton-master.tex	Mon Jan 23 17:19:30 2017 +0900
+++ b/paper/atton-master.tex	Mon Jan 23 18:41:23 2017 +0900
@@ -100,14 +100,7 @@
 \input{introduction.tex}
 
 \input{cbc.tex}
-
-\chapter{ラムダ計算と型システム}
-\label{chapter:type}
-\section{型システムとは}
-\section{型なしラムダ計算}
-\section{単純型付きラムダ計算}
-\section{部分型付け}
-\section{部分型と Continuation based C}
+\input{type.tex}
 
 \chapter{証明支援系言語 Agda による証明手法}
 \label{chapter:agda}