| Thu, 09 Feb 2017 15:36:52 +0900 |
atton |
Update curry-howard isomorphism
|
| Thu, 09 Feb 2017 12:56:22 +0900 |
atton |
Add simple/sub type description
|
| Wed, 08 Feb 2017 17:25:27 +0900 |
atton |
Update summary
|
| Wed, 08 Feb 2017 15:52:44 +0900 |
atton |
Update agda description
|
| Wed, 08 Feb 2017 14:49:51 +0900 |
atton |
Reconstruct paper
|
| Mon, 06 Feb 2017 16:13:14 +0900 |
atton |
Add references
|
| Fri, 03 Feb 2017 16:34:30 +0900 |
atton |
Add single linked stack
|
| Fri, 03 Feb 2017 14:49:58 +0900 |
atton |
Mini fixes with ryokka-san
|
| Tue, 31 Jan 2017 17:30:07 +0900 |
atton |
Add reasoning
|
| Tue, 31 Jan 2017 17:20:04 +0900 |
atton |
Writing agda description ...
|
| Tue, 31 Jan 2017 16:41:36 +0900 |
atton |
Writing agda description
|
| Tue, 31 Jan 2017 11:57:12 +0900 |
atton |
Writing Agda description
|
| Tue, 31 Jan 2017 10:30:08 +0900 |
atton |
Add natural deduction and curry-howard isomorphism
|
| Mon, 30 Jan 2017 16:59:53 +0900 |
atton |
Add agda.tex
|
