diff options
author | 2015-08-09 11:14:09 -0400 | |
---|---|---|
committer | 2015-08-09 11:14:09 -0400 | |
commit | df2b273877a4d40baa37bdb45b40169d2d525fd3 (patch) | |
tree | c433988277b9cb26438def61a42e0196abbeb001 /demo/listFun.urs | |
parent | 0c86ae16578d458d8b55a4546f16caba60b744d6 (diff) |
Fix termination bug in tutorial's isEven/isOdd
Diffstat (limited to 'demo/listFun.urs')
0 files changed, 0 insertions, 0 deletions