| Fri, 29 Dec 2017 11:07:18 +0900 |
ryokka |
add getSingleLinkedStack,get2SingleLinkedStack. but get2SingleLinkedStack not working now
|
| Thu, 28 Dec 2017 19:08:04 +0900 |
ryokka |
fix stack.agda
|
| Thu, 28 Dec 2017 15:52:01 +0900 |
ryokka |
fix Stack.agda
|
| Sat, 07 Oct 2017 18:22:31 +0900 |
ryokka |
fix interface in agda
|
| Tue, 13 Dec 2016 02:12:49 +0000 |
atton |
Prove equivalence n-push/n-pop to empty stack
|
| Tue, 13 Dec 2016 02:08:40 +0000 |
atton |
Fix syntax
|
| Tue, 06 Dec 2016 08:17:08 +0000 |
atton |
Prove n-push/n-pop
|
| Thu, 17 Nov 2016 18:34:39 +0000 |
atton |
Generalize lemma
|
| Thu, 17 Nov 2016 18:28:13 +0000 |
atton |
Add comment to stack.agda
|
| Thu, 17 Nov 2016 18:23:56 +0000 |
atton |
Prove simple lemma in stack.agda
|
| Wed, 16 Nov 2016 20:21:07 +0900 |
mir3636 |
fix stack.cbc
|
| Tue, 15 Nov 2016 20:17:31 +0900 |
atton |
Add stack lemma
|
| Tue, 15 Nov 2016 19:33:13 +0900 |
atton |
stack.agda
|
| Tue, 15 Nov 2016 19:02:36 +0900 |
atton |
Add normal level and agda code
|
