Skip to content

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

Notifications You must be signed in to change notification settings

anton-trunov/fold-tutorial-talk

About

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

Topics

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published