add Coq typeclass index problem draft
[web.git] / personal / _posts / 2017-01-20-paris-rust-meetup.md
2018-07-25 Ralf Jungblog: Assume we will never have a non-empty baseurl
2017-05-23 Ralf Jungadd post on Paris meetup that I forgot to add