/ylj15-coq-pattern-match

Code from a talk given at YOW! Lambda Jam 2015

Primary LanguageCoq

Watchers