~lthms/freespec-coqpl2019

My (rejected) submission to the CoqPL 2019 workshop
Submission day
Work of Monday evening

refs

master
browse log

clone

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