Mercurial > hg > Papers > 2017 > atton-master
log paper/type.tex @ 37:881bd1d12a45
| age | author | description |
|---|---|---|
| Sat, 28 Jan 2017 11:28:38 +0900 | atton | Writing expression ... |
| Sat, 28 Jan 2017 10:29:37 +0900 | atton | Writing expression ... |
| 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 |