~lthms/freespec-coqpl2019

My (rejected) submission to the CoqPL 2019 workshop

refs

master
browse  log 

clone

read-only
https://git.sr.ht/~lthms/freespec-coqpl2019
read/write
git@git.sr.ht:~lthms/freespec-coqpl2019

You can also use your local clone with git send-email.