diff options
author | Jed Barber <jjbarber@y7mail.com> | 2012-09-28 23:54:15 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2012-09-28 23:54:15 +1000 |
commit | 102f42fa347b10190704562ae3638f5683772211 (patch) | |
tree | 856e70d4b54fe4d3df490026042671561137c633 /Test/timer.sh | |
parent | ec2487e62240dcc3b98a9a3f7c017574af34be2a (diff) |
Types only tracked in alpha equivalence for bound variables
Diffstat (limited to 'Test/timer.sh')
0 files changed, 0 insertions, 0 deletions