|
|
|
|
|
|
by cmancini
4100 days ago
|
|
|
Fun to see this here. I TA-ed for this course--one of my favorite undergrad classes. I highly recommend picking up the full book. The merging of proof and program is really cool as a way to teach CS concepts. I'm actually working on porting a lot of the examples over to idiomatic Clojure. Email me if you're interested in following the progress there. |
|
|