Mercurial > hg > Papers > 2018 > nozomi-master
log paper/type.tex @ 30:55f67e448dcc
age | author | description |
---|---|---|
2017-01-26 | atton | Add type system description |
2017-01-23 | atton | Add akasha result |
age | author | description |
---|---|---|
2017-01-26 | atton | Add type system description |
2017-01-23 | atton | Add akasha result |