search

exercism / coq

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

Reformat exercise config files #99

Closed kytrinyx closed 1 year ago

kytrinyx commented 1 year ago

This runs the bin/configlet fmt --update command to reformat the exercise configs.