DMFP - Day 05 (5/6) - Higher-order Predicates: the `forallb` and `existsb` Functions
Channel: Michael Greenberg
Date: 2020-09-02

https://cs.pomona.edu/~michael/courses/csci054f20/