Mercurial > hg > Papers > 2018 > nozomi-master
log paper/type.tex @ 34:9800586284e1
| age | author | description |
|---|---|---|
| Sat, 28 Jan 2017 09:46:02 +0900 | atton | Writing expression ... |
| Sat, 28 Jan 2017 09:02:15 +0900 | atton | Update lambda description |
| Fri, 27 Jan 2017 17:10:33 +0900 | atton | Writing lambda ... |
| Thu, 26 Jan 2017 17:16:18 +0900 | atton | Writing lambda |
| Thu, 26 Jan 2017 11:03:51 +0900 | atton | Add type system description |
| Mon, 23 Jan 2017 18:41:23 +0900 | atton | Add akasha result |