| Wed, 01 Feb 2017 15:27:15 +0900 |
atton |
Mini fixes
|
| Wed, 01 Feb 2017 14:52:01 +0900 |
atton |
Writing cs/ds in agda
|
| Wed, 01 Feb 2017 13:27:58 +0900 |
atton |
Split cbc-type.tex
|
| Tue, 31 Jan 2017 19:26:31 +0900 |
atton |
Add pdf
|
| Tue, 31 Jan 2017 17:30:07 +0900 |
atton |
Add reasoning
|
| Tue, 31 Jan 2017 17:20:50 +0900 |
atton |
Writing agda description ......
|
| 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
|
| 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
|
