| Wed, 08 Feb 2017 15:52:44 +0900 |
atton |
Update agda description
|
| Wed, 08 Feb 2017 14:49:51 +0900 |
atton |
Reconstruct paper
|
| Wed, 08 Feb 2017 14:27:06 +0900 |
atton |
Update chapter akasha
|
| Wed, 08 Feb 2017 13:50:52 +0900 |
atton |
Add chapter akasha
|
| Mon, 06 Feb 2017 20:23:42 +0900 |
atton |
First review
|
| Mon, 06 Feb 2017 16:13:14 +0900 |
atton |
Add references
|
| Mon, 06 Feb 2017 15:42:45 +0900 |
atton |
Add abstract
|
| Mon, 06 Feb 2017 10:32:49 +0900 |
atton |
Add sources
|
| Mon, 06 Feb 2017 10:15:16 +0900 |
atton |
Add sample source
|
| Sun, 05 Feb 2017 16:53:16 +0900 |
atton |
Add summary
|
| Sat, 04 Feb 2017 16:34:14 +0900 |
atton |
Update pdf
|
| Sat, 04 Feb 2017 16:19:41 +0900 |
atton |
Update TODO
|
| Sat, 04 Feb 2017 16:19:23 +0900 |
atton |
Add proof description
|
| Sat, 04 Feb 2017 12:23:25 +0900 |
atton |
Add push/pop description
|
| 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
|
| Fri, 03 Feb 2017 11:59:41 +0900 |
atton |
Add example of meta code segment execution
|
| Fri, 03 Feb 2017 10:29:28 +0900 |
atton |
Add Meta CodeSegment description
|
| Fri, 03 Feb 2017 10:23:26 +0900 |
atton |
Add Meta DataSegment description
|
| Wed, 01 Feb 2017 15:37:11 +0900 |
atton |
Add normal level goto
|
| 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
|
