Files
project7
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
(b) empty? FORALL (["'a"], FUNTY ([listtype tyvarA], booltype)
get-first FORALL (["'a"], FUNTY ([listtype tyvarA],tyvarA)
get-rest FORALL (["'a"], FUNTY ([listtype tyvarA],listtype tyvarA))
collaborator: Sambit Pradhan