Mercurial > cpdt > repo
comparison src/Conclusion.v @ 472:524458532b76
Fix a typo in new recursion combinators example
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 14 Oct 2012 11:50:28 -0400 |
| parents | 5986e9fd40b5 |
| children | fd6ec9b2dccb |
comparison
equal
deleted
inserted
replaced
| 471:51a8472aca68 | 472:524458532b76 |
|---|