This project includes a collection of problem generators that are usful for CMSC330 at the University of Maryland.
Currently there are generators for the following types of questions:
- Type of OCaml expression
- Write an OCaml function with the given type
- Lambda calc beta-reduction