metaprogramming-rosetta-stone icon indicating copy to clipboard operation
metaprogramming-rosetta-stone copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

add basic meta.yml, generate README.md from templates

Open palmskog opened this issue 1 year ago • 5 comments

Rather than ad-hoc updating README.md, how about using meta.yml @yforster? This is the closest I can get to the current README.md.

palmskog avatar Jun 30 '23 19:06 palmskog