diff paper/history.tex @ 30:55f67e448dcc

Add type system description
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Thu, 26 Jan 2017 11:03:51 +0900
parents debfed0aa2e4
children 897fda8e39c5
line wrap: on
line diff