~lthms/freespec-coqpl2019

My (rejected) submission to the CoqPL 2019 workshop
cfc67676 — Thomas Letan 4 years ago 
Submission day
157a2753 — Thomas Letan 4 years ago 
Work of Monday evening
b51231ba — Thomas Letan 4 years ago 
Night work

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.