• REMY Didier's avatar
    - Adding anchors for Remy's lecture 2 · 1abcc4dc
    REMY Didier authored
    - Adding Makefile to produce README.html from README.md
      so that we can see the output in a browser before commiting to gitlab.
      requires pandoc installed.
    1abcc4dc
Name
Last commit
Last update
coq Loading commit data...
ocaml Loading commit data...
slides Loading commit data...
.gitignore Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...