Modernize the Coq strict positivity example#17

tchajed wants to merge 1 commit into

stedolan:mainstedolan/counterexamples:mainfrom

tchajed:modernize-strict-positivity-coqtchajed/counterexamples:modernize-strict-positivity-coqCopy head branch name to clipboard