Search for tag: "nat"

08:02 cos326-2020-05-02-inductive-data-types cos326-2020-05-02-inductive-data-types	cos326-2020-05-02-inductive-data-types Inductive Datatypes cos326 tree node key leaf successor constructor int datatype subtree constructors kv prime function definition datatypes types nat cases call clause From Daniel Macleod on August 14th, 2020 0 likes 206 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ