search

exercism / coq

Exercism exercises in Coq.
https://exercism.org/tracks/coq
MIT License
18 stars 11 forks source link

Add blurb and ABOUT #38

Closed Bubbler-4 closed 5 years ago

Bubbler-4 commented 5 years ago

While planning to work on exercism/coq#37, I noticed that both "blurb" and "ABOUT" are empty, so I went ahead to fill them in.

This is part of exercism/coq#30.