| Thu, 09 Feb 2017 18:58:53 +0900 |
atton |
Fix
|
| Thu, 09 Feb 2017 18:37:26 +0900 |
atton |
Update
|
| Thu, 09 Feb 2017 17:50:50 +0900 |
atton |
Add figure
|
| Thu, 09 Feb 2017 13:57:35 +0900 |
atton |
Update type.tex
|
| Thu, 09 Feb 2017 12:56:22 +0900 |
atton |
Add simple/sub type description
|
| Wed, 08 Feb 2017 14:49:51 +0900 |
atton |
Reconstruct paper
|
| Wed, 08 Feb 2017 14:27:06 +0900 |
atton |
Update chapter akasha
|
| Mon, 06 Feb 2017 16:13:14 +0900 |
atton |
Add references
|
| Tue, 31 Jan 2017 10:30:08 +0900 |
atton |
Add natural deduction and curry-howard isomorphism
|
| Mon, 30 Jan 2017 16:41:56 +0900 |
atton |
Wrote type.tex
|
| Mon, 30 Jan 2017 14:54:01 +0900 |
atton |
Mini fixes
|
| Mon, 30 Jan 2017 14:25:14 +0900 |
atton |
Wrote subtype
|
| Sun, 29 Jan 2017 22:13:47 +0900 |
atton |
Writing subtype
|
| Sun, 29 Jan 2017 21:58:35 +0900 |
atton |
Add record
|
| Sun, 29 Jan 2017 12:27:25 +0900 |
atton |
Wrote typed-lambda
|
| Sun, 29 Jan 2017 11:56:00 +0900 |
atton |
Writing typed-lambda
|
| Sat, 28 Jan 2017 18:29:15 +0900 |
atton |
Wrote simple-type
|
| Sat, 28 Jan 2017 17:10:51 +0900 |
atton |
Writing typed expression
|
| Sat, 28 Jan 2017 15:35:26 +0900 |
atton |
Wrote untyped lambda
|
| Sat, 28 Jan 2017 12:10:35 +0900 |
atton |
Wrote untyped expression
|
| 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
|
