Fix sahbug3.m
Description
In types.c:deps() there is a suggestion for a possible fix:
case LAMBDA: /* d=UNION(d,patdeps(hd[x])); */
/* should add this - see sahbug3.m */
return(rembvars(UNION(d,deps(tl[x])),hd[x]));
but unfortunately sahbug3.m isn't included.
Conclusion
See if we can recover Professor Turner's later work and see if sahbug3.m is there. #18
# Fix sahbug3.m
## Description
In `types.c:deps()` there is a suggestion for a possible fix:
```
case LAMBDA: /* d=UNION(d,patdeps(hd[x])); */
/* should add this - see sahbug3.m */
return(rembvars(UNION(d,deps(tl[x])),hd[x]));
```
but unfortunately `sahbug3.m` isn't included.
## Conclusion
See if we can recover Professor Turner's later work and see if `sahbug3.m` is there. #18