https://github.com/mit-plv/rewriter
Raw File
Tip revision: ace6ea07a2bdd4a294a232018961a39502e681b8 authored by Hugo Herbelin on 20 November 2020, 07:38:37 UTC
Adapt to fixing dropped implicit arguments in Context.
Tip revision: ace6ea0
Makefile.local
include src/Rewriter/Rewriter/Examples/PerfTesting/Makefile.coq.local
back to top