log paper/type.tex @ 30:55f67e448dcc

age author description
2017-01-26 atton Add type system description
2017-01-23 atton Add akasha result