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

palmskog wants to merge 1 commit intomainrocq-community/metaprogramming-rosetta-stone:mainfrom

add-meta-generate-readmerocq-community/metaprogramming-rosetta-stone:add-meta-generate-readmeCopy head branch name to clipboard