diff options
author | Adam Chlipala <adam@chlipala.net> | 2015-08-09 11:14:09 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2015-08-09 11:14:09 -0400 |
commit | df2b273877a4d40baa37bdb45b40169d2d525fd3 (patch) | |
tree | c433988277b9cb26438def61a42e0196abbeb001 /demo/tcSum.ur | |
parent | 0c86ae16578d458d8b55a4546f16caba60b744d6 (diff) |
Fix termination bug in tutorial's isEven/isOdd
Diffstat (limited to 'demo/tcSum.ur')
0 files changed, 0 insertions, 0 deletions