search

cs3110 / textbook

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
Other
740 stars 134 forks source link

Update alg_spec.md #102

Closed mwilbur closed 2 years ago

mwilbur commented 2 years ago

This seems a slightly more clear use of the rule to conclude equality

clarksmr commented 2 years ago

Thanks! Polished a bit more in 03db2fa.

mwilbur commented 2 years ago

Thanks! Polished a bit more in 03db2fa.

Awesome. I'm really enjoying going through this course. Thanks for making it pulbicly available.