home, discrete structures, cs136, functional programming, cv