Mercurial > hg > GearsTemplate
comparison src/parallel_execution/main.c @ 161:db647f7ed2f6
Prove simple lemma in stack.agda
| author | atton |
|---|---|
| date | Thu, 17 Nov 2016 18:23:56 +0000 |
| parents | 63ab65b28466 |
| children | 73c393f0dca3 |
comparison
equal
deleted
inserted
replaced
| 159:f2c77b0761fc | 161:db647f7ed2f6 |
|---|