/fold-tutorial-talk

Papers We Love. Mad. Talk on fold: slides, Coq file, and links for further reading

Primary LanguageTeX

No issues in this repository yet.